Instances of family Connect2 solved by WalkQSAT
QBFEVAL'04

InstanceResultTime
cf_2_2x3_w_UNSAT0.06
cf_2_3x2_r_SAT0.08
cf_2_5x4_r_UNSAT0.2
cf_2_4x8_d_UNSAT0.31
cf_2_4x8_r_UNSAT0.38
cf_2_8x5_r_FAIL0.55
cf_2_9x5_w_FAIL0.63
cf_2_8x3_r_SAT1.24