Instances of family Connect2 solved by QSAT
QBFEVAL'04

InstanceResultTime
cf_2_2x3_w_UNSAT0.02
cf_2_3x2_r_SAT0.04
cf_2_4x8_d_UNSAT0.16
cf_2_9x5_w_UNSAT0.51
cf_2_5x4_r_SAT2.18
cf_2_4x8_r_SAT5.71
cf_2_8x3_r_SAT24.96
cf_2_8x5_r_SAT144.41