Instances of family Connect7 solved by WalkQSAT
QBFEVAL'04

InstanceResultTime
cf_7_7x7_d_UNSAT0.42
cf_7_8x7_d_UNSAT0.58
cf_7_9x7_w_UNSAT0.76
cf_7_7x9_d_FAIL0.77
cf_7_8x8_w_UNSAT0.79
cf_7_9x8_w_UNSAT1.05
cf_7_9x9_d_FAIL1.18
cf_7_9x7_r_UNSAT48.25