Instances of family Connect3 solved by QUANTOR
QBFEVAL'04

InstanceResultTime
cf_3_6x4_w_UNSAT0.05
cf_3_9x5_d_UNSAT0.3
cf_3_7x9_w_UNSAT0.53
cf_3_8x8_w_UNSAT0.57
cf_3_8x9_d_UNSAT0.75
cf_3_9x9_w_UNSAT0.94
cf_3_9x5_r_FAIL11.73
cf_3_5x4_r_FAIL12.26