Instances of family Connect4 solved by QUANTOR
QBFEVAL'04

InstanceResultTime
cf_4_5x4_d_UNSAT0.05
cf_4_5x5_d_UNSAT0.07
cf_4_5x6_w_UNSAT0.1
cf_4_6x5_d_UNSAT0.11
cf_4_6x7_d_UNSAT0.2
cf_4_5x9_d_UNSAT0.24
cf_4_8x8_w_UNSAT0.54
cf_4_5x9_r_FAIL11.67