The Quantified Boolean Formulas Satisfiability Library
Home
Instances
Solvers
QBF Evaluations
Detail page for Connect4 family
Download (199980 Kb)
Submitter:
Gent
Suite:
Gent-Rowley
Domain:
Planning
Description:
Number of instances:
168
Results:
2018 - Track 5
2017 - Track 1
2017 - Track 2
2016 - Track 1
2016 - Track 2
2016 - Track 5
2016 - Track 6
2016 - Track 7
2010 - Track 1
2007 - Track 1
2006 - Track 1
2005 - Track 1
2004 - Track 1
Instances:
cf_4_4x4_d_
cf_4_4x4_r_
cf_4_4x4_w_
cf_4_4x5_d_
cf_4_4x5_r_
cf_4_4x5_w_
cf_4_4x6_d_
cf_4_4x6_r_
cf_4_4x6_w_
cf_4_4x7_d_
cf_4_4x7_r_
cf_4_4x7_w_
cf_4_4x8_d_
cf_4_4x8_r_
cf_4_4x8_w_
cf_4_4x9_d_
cf_4_4x9_r_
cf_4_4x9_w_
cf_4_5x4_d_
cf_4_5x4_r_
cf_4_5x4_w_
cf_4_5x5_d_
cf_4_5x5_r_
cf_4_5x5_w_
cf_4_5x6_d_
cf_4_5x6_r_
cf_4_5x6_w_
cf_4_5x7_d_
cf_4_5x7_r_
cf_4_5x7_w_
cf_4_5x8_d_
cf_4_5x8_r_
cf_4_5x8_w_
cf_4_5x9_d_
cf_4_5x9_r_
cf_4_5x9_w_
cf_4_6x4_d_
cf_4_6x4_r_
cf_4_6x4_w_
cf_4_6x5_d_
cf_4_6x5_r_
cf_4_6x5_w_
cf_4_6x6_d_
cf_4_6x6_r_
cf_4_6x6_w_
cf_4_6x7_d_
cf_4_6x7_r_
cf_4_6x7_w_
cf_4_6x8_d_
cf_4_6x8_r_
cf_4_6x8_w_
cf_4_6x9_d_
cf_4_6x9_r_
cf_4_6x9_w_
cf_4_7x4_d_
cf_4_7x4_r_
cf_4_7x4_w_
cf_4_7x5_d_
cf_4_7x5_r_
cf_4_7x5_w_
cf_4_7x6_d_
cf_4_7x6_r_
cf_4_7x6_w_
cf_4_7x7_d_
cf_4_7x7_r_
cf_4_7x7_w_
cf_4_7x8_d_
cf_4_7x8_r_
cf_4_7x8_w_
cf_4_7x9_d_
cf_4_7x9_r_
cf_4_7x9_w_
cf_4_8x4_d_
cf_4_8x4_r_
cf_4_8x4_w_
cf_4_8x5_d_
cf_4_8x5_r_
cf_4_8x5_w_
cf_4_8x6_d_
cf_4_8x6_r_
cf_4_8x6_w_
cf_4_8x7_d_
cf_4_8x7_r_
cf_4_8x7_w_
cf_4_8x8_d_
cf_4_8x8_r_
cf_4_8x8_w_
cf_4_8x9_d_
cf_4_8x9_r_
cf_4_8x9_w_
cf_4_9x4_d_
cf_4_9x4_r_
cf_4_9x4_w_
cf_4_9x5_d_
cf_4_9x5_r_
cf_4_9x5_w_
cf_4_9x6_d_
cf_4_9x6_r_
cf_4_9x6_w_
cf_4_9x7_d_
cf_4_9x7_r_
cf_4_9x7_w_
cf_4_9x8_d_
cf_4_9x8_r_
cf_4_9x8_w_
cf_4_9x9_d_
cf_4_9x9_r_
cf_4_9x9_w_
connect_5x4_3_D
connect_5x4_3_R
connect_5x4_3_W
connect_5x4_4_D
connect_5x4_4_R
connect_5x4_4_W
connect_6x5_3_D
connect_6x5_3_R
connect_6x5_3_W
connect_6x5_4_D
connect_6x5_4_R
connect_6x5_4_W
connect_6x5_5_D
connect_6x5_5_R
connect_6x5_5_W
connect_7x6_3_D
connect_7x6_3_R
connect_7x6_3_W
connect_7x6_4_D
connect_7x6_4_R
connect_7x6_4_W
connect_7x6_5_D
connect_7x6_5_R
connect_7x6_5_W
connect_7x6_6_D
connect_7x6_6_R
connect_7x6_6_W
connect_8x7_3_D
connect_8x7_3_R
connect_8x7_3_W
connect_8x7_4_D
connect_8x7_4_R
connect_8x7_4_W
connect_8x7_5_D
connect_8x7_5_R
connect_8x7_5_W
connect_8x7_6_D
connect_8x7_6_R
connect_8x7_6_W
connect_8x7_7_D
connect_8x7_7_R
connect_8x7_7_W
connect_9x8_3_D
connect_9x8_3_R
connect_9x8_3_W
connect_9x8_4_D
connect_9x8_4_R
connect_9x8_4_W
connect_9x8_5_D
connect_9x8_5_R
connect_9x8_5_W
connect_9x8_6_D
connect_9x8_6_R
connect_9x8_6_W
connect_9x8_7_D
connect_9x8_7_R
connect_9x8_7_W
connect_9x8_8_D
connect_9x8_8_R
connect_9x8_8_W
Contact
|
Organization
|
Links
|
Citing QBFLIB