Instances of family Connect3 solved by QMRes
QBFEVAL'04

InstanceResultTime
cf_3_7x9_w_FAIL8.56
cf_3_8x8_w_FAIL9.1
cf_3_8x9_d_FAIL12.55
cf_3_9x9_w_FAIL19.45
cf_3_9x5_d_FAIL901.01
cf_3_5x4_r_FAIL901.01
cf_3_6x4_w_FAIL901.01
cf_3_9x5_r_FAIL901.02