Instances of family Connect3 solved by QBFL-JW
QBFEVAL'04

InstanceResultTime
cf_3_8x9_d_FAIL0
cf_3_9x5_d_FAIL0.01
cf_3_7x9_w_FAIL0.02
cf_3_5x4_r_UNSAT0.03
cf_3_6x4_w_UNSAT0.06
cf_3_9x5_r_UNSAT0.31
cf_3_8x8_w_UNSAT0.39
cf_3_9x9_w_UNSAT0.57