Instances of family Connect8 solved by QUANTOR
QBFEVAL'04

InstanceResultTime
cf_8_8x8_w_UNSAT0.33
cf_8_8x9_w_UNSAT0.42
cf_8_8x9_d_UNSAT0.45
cf_8_9x9_w_UNSAT0.62
cf_8_9x9_d_UNSAT0.64
cf_8_9x9_r_FAIL18.92
cf_8_8x8_r_FAIL20.4
cf_8_8x9_r_FAIL22.52