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

InstanceResultTime
cf_3_5x4_r_UNSAT0.04
cf_3_6x4_w_UNSAT0.04
cf_3_9x5_d_UNSAT0.31
cf_3_9x5_r_UNSAT0.34
cf_3_8x8_w_UNSAT0.41
cf_3_7x9_w_UNSAT0.48
cf_3_8x9_d_UNSAT0.54
cf_3_9x9_w_UNSAT0.57