Instances of family Connect4 solved by CLearn
QBFEVAL'04

InstanceResultTime
cf_4_5x4_d_UNSAT0.11
cf_4_5x5_d_UNSAT0.15
cf_4_5x6_w_UNSAT0.19
cf_4_6x5_d_UNSAT0.2
cf_4_6x7_d_UNSAT0.34
cf_4_5x9_d_UNSAT0.8
cf_4_8x8_w_UNSAT1.17
cf_4_5x9_r_FAIL901.02