Instances of family Connect4 solved by QSAT
QBFEVAL'04

InstanceResultTime
cf_4_5x4_d_UNSAT0.05
cf_4_5x5_d_UNSAT0.09
cf_4_6x5_d_UNSAT0.11
cf_4_5x6_w_UNSAT0.12
cf_4_6x7_d_UNSAT0.23
cf_4_5x9_r_FAIL0.37
cf_4_5x9_d_FAIL0.39
cf_4_8x8_w_FAIL0.83