The Quantified Boolean Formulas Satisfiability Library
Home
Instances
Solvers
QBF Evaluations
Detail page for Connect3 family
Download (50970 Kb)
Submitter:
Gent
Suite:
Gent-Rowley
Domain:
Planning
Description:
Number of instances:
147
Results:
2018 - Track 5
2017 - Track 1
2004 - Track 1
Instances:
cf_3_3x3_d_
cf_3_3x3_r_
cf_3_3x3_w_
cf_3_3x4_d_
cf_3_3x4_r_
cf_3_3x4_w_
cf_3_3x5_d_
cf_3_3x5_r_
cf_3_3x5_w_
cf_3_3x6_d_
cf_3_3x6_r_
cf_3_3x6_w_
cf_3_3x7_d_
cf_3_3x7_r_
cf_3_3x7_w_
cf_3_3x8_d_
cf_3_3x8_r_
cf_3_3x8_w_
cf_3_3x9_d_
cf_3_3x9_r_
cf_3_3x9_w_
cf_3_4x3_d_
cf_3_4x3_r_
cf_3_4x3_w_
cf_3_4x4_d_
cf_3_4x4_r_
cf_3_4x4_w_
cf_3_4x5_d_
cf_3_4x5_r_
cf_3_4x5_w_
cf_3_4x6_d_
cf_3_4x6_r_
cf_3_4x6_w_
cf_3_4x7_d_
cf_3_4x7_r_
cf_3_4x7_w_
cf_3_4x8_d_
cf_3_4x8_r_
cf_3_4x8_w_
cf_3_4x9_d_
cf_3_4x9_r_
cf_3_4x9_w_
cf_3_5x3_d_
cf_3_5x3_r_
cf_3_5x3_w_
cf_3_5x4_d_
cf_3_5x4_r_
cf_3_5x4_w_
cf_3_5x5_d_
cf_3_5x5_r_
cf_3_5x5_w_
cf_3_5x6_d_
cf_3_5x6_r_
cf_3_5x6_w_
cf_3_5x7_d_
cf_3_5x7_r_
cf_3_5x7_w_
cf_3_5x8_d_
cf_3_5x8_r_
cf_3_5x8_w_
cf_3_5x9_d_
cf_3_5x9_r_
cf_3_5x9_w_
cf_3_6x3_d_
cf_3_6x3_r_
cf_3_6x3_w_
cf_3_6x4_d_
cf_3_6x4_r_
cf_3_6x4_w_
cf_3_6x5_d_
cf_3_6x5_r_
cf_3_6x5_w_
cf_3_6x6_d_
cf_3_6x6_r_
cf_3_6x6_w_
cf_3_6x7_d_
cf_3_6x7_r_
cf_3_6x7_w_
cf_3_6x8_d_
cf_3_6x8_r_
cf_3_6x8_w_
cf_3_6x9_d_
cf_3_6x9_r_
cf_3_6x9_w_
cf_3_7x3_d_
cf_3_7x3_r_
cf_3_7x3_w_
cf_3_7x4_d_
cf_3_7x4_r_
cf_3_7x4_w_
cf_3_7x5_d_
cf_3_7x5_r_
cf_3_7x5_w_
cf_3_7x6_d_
cf_3_7x6_r_
cf_3_7x6_w_
cf_3_7x7_d_
cf_3_7x7_r_
cf_3_7x7_w_
cf_3_7x8_d_
cf_3_7x8_r_
cf_3_7x8_w_
cf_3_7x9_d_
cf_3_7x9_r_
cf_3_7x9_w_
cf_3_8x3_d_
cf_3_8x3_r_
cf_3_8x3_w_
cf_3_8x4_d_
cf_3_8x4_r_
cf_3_8x4_w_
cf_3_8x5_d_
cf_3_8x5_r_
cf_3_8x5_w_
cf_3_8x6_d_
cf_3_8x6_r_
cf_3_8x6_w_
cf_3_8x7_d_
cf_3_8x7_r_
cf_3_8x7_w_
cf_3_8x8_d_
cf_3_8x8_r_
cf_3_8x8_w_
cf_3_8x9_d_
cf_3_8x9_r_
cf_3_8x9_w_
cf_3_9x3_d_
cf_3_9x3_r_
cf_3_9x3_w_
cf_3_9x4_d_
cf_3_9x4_r_
cf_3_9x4_w_
cf_3_9x5_d_
cf_3_9x5_r_
cf_3_9x5_w_
cf_3_9x6_d_
cf_3_9x6_r_
cf_3_9x6_w_
cf_3_9x7_d_
cf_3_9x7_r_
cf_3_9x7_w_
cf_3_9x8_d_
cf_3_9x8_r_
cf_3_9x8_w_
cf_3_9x9_d_
cf_3_9x9_r_
cf_3_9x9_w_
Contact
|
Organization
|
Links
|
Citing QBFLIB