Instances of family Connect9 solved by WalkQSAT
QBFEVAL'04

InstanceResultTime
cf_9_9x9_d_FAIL0.92
cf_9_9x9_r_FAIL0.92
cf_9_9x9_w_FAIL0.92