The Quantified Boolean Formulas Satisfiability Library
Home
Instances
Solvers
QBF Evaluations
Detail page for Connect2 family
Download (55470 Kb)
Submitter:
Gent
Suite:
Gent-Rowley
Domain:
Planning
Description:
Number of instances:
192
Results:
2017 - Track 1
2004 - Track 1
Instances:
cf_2_2x2_d_
cf_2_2x2_r_
cf_2_2x2_w_
cf_2_2x3_d_
cf_2_2x3_r_
cf_2_2x3_w_
cf_2_2x4_d_
cf_2_2x4_r_
cf_2_2x4_w_
cf_2_2x5_d_
cf_2_2x5_r_
cf_2_2x5_w_
cf_2_2x6_d_
cf_2_2x6_r_
cf_2_2x6_w_
cf_2_2x7_d_
cf_2_2x7_r_
cf_2_2x7_w_
cf_2_2x8_d_
cf_2_2x8_r_
cf_2_2x8_w_
cf_2_2x9_d_
cf_2_2x9_r_
cf_2_2x9_w_
cf_2_3x2_d_
cf_2_3x2_r_
cf_2_3x2_w_
cf_2_3x3_d_
cf_2_3x3_r_
cf_2_3x3_w_
cf_2_3x4_d_
cf_2_3x4_r_
cf_2_3x4_w_
cf_2_3x5_d_
cf_2_3x5_r_
cf_2_3x5_w_
cf_2_3x6_d_
cf_2_3x6_r_
cf_2_3x6_w_
cf_2_3x7_d_
cf_2_3x7_r_
cf_2_3x7_w_
cf_2_3x8_d_
cf_2_3x8_r_
cf_2_3x8_w_
cf_2_3x9_d_
cf_2_3x9_r_
cf_2_3x9_w_
cf_2_4x2_d_
cf_2_4x2_r_
cf_2_4x2_w_
cf_2_4x3_d_
cf_2_4x3_r_
cf_2_4x3_w_
cf_2_4x4_d_
cf_2_4x4_r_
cf_2_4x4_w_
cf_2_4x5_d_
cf_2_4x5_r_
cf_2_4x5_w_
cf_2_4x6_d_
cf_2_4x6_r_
cf_2_4x6_w_
cf_2_4x7_d_
cf_2_4x7_r_
cf_2_4x7_w_
cf_2_4x8_d_
cf_2_4x8_r_
cf_2_4x8_w_
cf_2_4x9_d_
cf_2_4x9_r_
cf_2_4x9_w_
cf_2_5x2_d_
cf_2_5x2_r_
cf_2_5x2_w_
cf_2_5x3_d_
cf_2_5x3_r_
cf_2_5x3_w_
cf_2_5x4_d_
cf_2_5x4_r_
cf_2_5x4_w_
cf_2_5x5_d_
cf_2_5x5_r_
cf_2_5x5_w_
cf_2_5x6_d_
cf_2_5x6_r_
cf_2_5x6_w_
cf_2_5x7_d_
cf_2_5x7_r_
cf_2_5x7_w_
cf_2_5x8_d_
cf_2_5x8_r_
cf_2_5x8_w_
cf_2_5x9_d_
cf_2_5x9_r_
cf_2_5x9_w_
cf_2_6x2_d_
cf_2_6x2_r_
cf_2_6x2_w_
cf_2_6x3_d_
cf_2_6x3_r_
cf_2_6x3_w_
cf_2_6x4_d_
cf_2_6x4_r_
cf_2_6x4_w_
cf_2_6x5_d_
cf_2_6x5_r_
cf_2_6x5_w_
cf_2_6x6_d_
cf_2_6x6_r_
cf_2_6x6_w_
cf_2_6x7_d_
cf_2_6x7_r_
cf_2_6x7_w_
cf_2_6x8_d_
cf_2_6x8_r_
cf_2_6x8_w_
cf_2_6x9_d_
cf_2_6x9_r_
cf_2_6x9_w_
cf_2_7x2_d_
cf_2_7x2_r_
cf_2_7x2_w_
cf_2_7x3_d_
cf_2_7x3_r_
cf_2_7x3_w_
cf_2_7x4_d_
cf_2_7x4_r_
cf_2_7x4_w_
cf_2_7x5_d_
cf_2_7x5_r_
cf_2_7x5_w_
cf_2_7x6_d_
cf_2_7x6_r_
cf_2_7x6_w_
cf_2_7x7_d_
cf_2_7x7_r_
cf_2_7x7_w_
cf_2_7x8_d_
cf_2_7x8_r_
cf_2_7x8_w_
cf_2_7x9_d_
cf_2_7x9_r_
cf_2_7x9_w_
cf_2_8x2_d_
cf_2_8x2_r_
cf_2_8x2_w_
cf_2_8x3_d_
cf_2_8x3_r_
cf_2_8x3_w_
cf_2_8x4_d_
cf_2_8x4_r_
cf_2_8x4_w_
cf_2_8x5_d_
cf_2_8x5_r_
cf_2_8x5_w_
cf_2_8x6_d_
cf_2_8x6_r_
cf_2_8x6_w_
cf_2_8x7_d_
cf_2_8x7_r_
cf_2_8x7_w_
cf_2_8x8_d_
cf_2_8x8_r_
cf_2_8x8_w_
cf_2_8x9_d_
cf_2_8x9_r_
cf_2_8x9_w_
cf_2_9x2_d_
cf_2_9x2_r_
cf_2_9x2_w_
cf_2_9x3_d_
cf_2_9x3_r_
cf_2_9x3_w_
cf_2_9x4_d_
cf_2_9x4_r_
cf_2_9x4_w_
cf_2_9x5_d_
cf_2_9x5_r_
cf_2_9x5_w_
cf_2_9x6_d_
cf_2_9x6_r_
cf_2_9x6_w_
cf_2_9x7_d_
cf_2_9x7_r_
cf_2_9x7_w_
cf_2_9x8_d_
cf_2_9x8_r_
cf_2_9x8_w_
cf_2_9x9_d_
cf_2_9x9_r_
cf_2_9x9_w_
Contact
|
Organization
|
Links
|
Citing QBFLIB