Instances of family Connect3 solved by QUBE-LRN
QBFEVAL'04

InstanceResultTime
cf_3_6x4_w_UNSAT1.07
cf_3_9x9_w_FAIL2.19
cf_3_7x9_w_FAIL3.07
cf_3_8x9_d_FAIL3.43
cf_3_9x5_r_FAIL3.43
cf_3_9x5_d_FAIL3.76
cf_3_8x8_w_FAIL5.46
cf_3_5x4_r_UNSAT115.34