Instances of family Connect3 solved by QSAT
QBFEVAL'04

InstanceResultTime
cf_3_6x4_w_UNSAT0.09
cf_3_9x5_d_UNSAT0.48
cf_3_7x9_w_FAIL0.86
cf_3_8x8_w_FAIL0.93
cf_3_8x9_d_FAIL1.18
cf_3_9x9_w_FAIL1.66
cf_3_5x4_r_UNSAT836.03
cf_3_9x5_r_FAIL901