The Quantified Boolean Formulas Satisfiability Library
Home
Instances
Solvers
QBF Evaluations
Detail page for Connect8 family
Download (8380 Kb)
Submitter:
Gent
Suite:
Gent-Rowley
Domain:
Planning
Description:
Number of instances:
12
Results:
2017 - Track 1
2004 - Track 1
Instances:
cf_8_8x8_d_
cf_8_8x8_r_
cf_8_8x8_w_
cf_8_8x9_d_
cf_8_8x9_r_
cf_8_8x9_w_
cf_8_9x8_d_
cf_8_9x8_r_
cf_8_9x8_w_
cf_8_9x9_d_
cf_8_9x9_r_
cf_8_9x9_w_
Contact
|
Organization
|
Links
|
Citing QBFLIB