Instances of family Connect2 solved by CSBJ
QBFEVAL'04

InstanceResultTime
cf_2_3x2_r_SAT0.05
cf_2_2x3_w_UNSAT0.06
cf_2_4x8_d_UNSAT0.24
cf_2_5x4_r_SAT0.32
cf_2_4x8_r_SAT0.59
cf_2_8x3_r_SAT0.64
cf_2_9x5_w_UNSAT0.79
cf_2_8x5_r_SAT2.94