The Quantified Boolean Formulas Satisfiability Library
Home
Instances
Solvers
QBF Evaluations
Detail page for Connect6 family
Download (25730 Kb)
Submitter:
Gent
Suite:
Gent-Rowley
Domain:
Planning
Description:
Number of instances:
48
Results:
2018 - Track 5
2017 - Track 1
2004 - Track 1
Instances:
cf_6_6x6_d_
cf_6_6x6_r_
cf_6_6x6_w_
cf_6_6x7_d_
cf_6_6x7_r_
cf_6_6x7_w_
cf_6_6x8_d_
cf_6_6x8_r_
cf_6_6x8_w_
cf_6_6x9_d_
cf_6_6x9_r_
cf_6_6x9_w_
cf_6_7x6_d_
cf_6_7x6_r_
cf_6_7x6_w_
cf_6_7x7_d_
cf_6_7x7_r_
cf_6_7x7_w_
cf_6_7x8_d_
cf_6_7x8_r_
cf_6_7x8_w_
cf_6_7x9_d_
cf_6_7x9_r_
cf_6_7x9_w_
cf_6_8x6_d_
cf_6_8x6_r_
cf_6_8x6_w_
cf_6_8x7_d_
cf_6_8x7_r_
cf_6_8x7_w_
cf_6_8x8_d_
cf_6_8x8_r_
cf_6_8x8_w_
cf_6_8x9_d_
cf_6_8x9_r_
cf_6_8x9_w_
cf_6_9x6_d_
cf_6_9x6_r_
cf_6_9x6_w_
cf_6_9x7_d_
cf_6_9x7_r_
cf_6_9x7_w_
cf_6_9x8_d_
cf_6_9x8_r_
cf_6_9x8_w_
cf_6_9x9_d_
cf_6_9x9_r_
cf_6_9x9_w_
Contact
|
Organization
|
Links
|
Citing QBFLIB