Instances of family Connect8 solved by CLearn
QBFEVAL'04

InstanceResultTime
cf_8_8x8_w_UNSAT0.49
cf_8_8x9_w_UNSAT1.06
cf_8_8x9_d_UNSAT1.07
cf_8_9x9_w_UNSAT1.3
cf_8_9x9_d_UNSAT1.32
cf_8_8x8_r_FAIL901
cf_8_8x9_r_FAIL901
cf_8_9x9_r_FAIL901.01