The Quantified Boolean Formulas Satisfiability Library
Home
Instances
Solvers
QBF Evaluations
Detail page for Connect5 family
Download (35410 Kb)
Submitter:
Gent
Suite:
Gent-Rowley
Domain:
Planning
Description:
Number of instances:
75
Results:
2017 - Track 1
2004 - Track 1
Instances:
cf_5_5x5_d_
cf_5_5x5_r_
cf_5_5x5_w_
cf_5_5x6_d_
cf_5_5x6_r_
cf_5_5x6_w_
cf_5_5x7_d_
cf_5_5x7_r_
cf_5_5x7_w_
cf_5_5x8_d_
cf_5_5x8_r_
cf_5_5x8_w_
cf_5_5x9_d_
cf_5_5x9_r_
cf_5_5x9_w_
cf_5_6x5_d_
cf_5_6x5_r_
cf_5_6x5_w_
cf_5_6x6_d_
cf_5_6x6_r_
cf_5_6x6_w_
cf_5_6x7_d_
cf_5_6x7_r_
cf_5_6x7_w_
cf_5_6x8_d_
cf_5_6x8_r_
cf_5_6x8_w_
cf_5_6x9_d_
cf_5_6x9_r_
cf_5_6x9_w_
cf_5_7x5_d_
cf_5_7x5_r_
cf_5_7x5_w_
cf_5_7x6_d_
cf_5_7x6_r_
cf_5_7x6_w_
cf_5_7x7_d_
cf_5_7x7_r_
cf_5_7x7_w_
cf_5_7x8_d_
cf_5_7x8_r_
cf_5_7x8_w_
cf_5_7x9_d_
cf_5_7x9_r_
cf_5_7x9_w_
cf_5_8x5_d_
cf_5_8x5_r_
cf_5_8x5_w_
cf_5_8x6_d_
cf_5_8x6_r_
cf_5_8x6_w_
cf_5_8x7_d_
cf_5_8x7_r_
cf_5_8x7_w_
cf_5_8x8_d_
cf_5_8x8_r_
cf_5_8x8_w_
cf_5_8x9_d_
cf_5_8x9_r_
cf_5_8x9_w_
cf_5_9x5_d_
cf_5_9x5_r_
cf_5_9x5_w_
cf_5_9x6_d_
cf_5_9x6_r_
cf_5_9x6_w_
cf_5_9x7_d_
cf_5_9x7_r_
cf_5_9x7_w_
cf_5_9x8_d_
cf_5_9x8_r_
cf_5_9x8_w_
cf_5_9x9_d_
cf_5_9x9_r_
cf_5_9x9_w_
Contact
|
Organization
|
Links
|
Citing QBFLIB