Instances of family Connect4 solved by QBFL-JW
QBFEVAL'04

InstanceResultTime
cf_4_5x4_d_UNSAT0.04
cf_4_5x5_d_UNSAT0.05
cf_4_6x5_d_UNSAT0.06
cf_4_5x6_w_UNSAT0.06
cf_4_6x7_d_UNSAT0.09
cf_4_5x9_d_UNSAT0.35
cf_4_5x9_r_UNSAT0.38
cf_4_8x8_w_UNSAT0.4