Instances of family Connect5 solved by QSAT
QBFEVAL'04

InstanceResultTime
cf_5_5x6_w_UNSAT0.09
cf_5_6x5_w_UNSAT0.09
cf_5_5x7_d_UNSAT0.13
cf_5_7x5_d_UNSAT0.14
cf_5_7x6_d_UNSAT0.21
cf_5_6x9_r_FAIL0.49
cf_5_8x9_w_FAIL0.98
cf_5_5x5_r_FAIL901