Instances of family Connect7 solved by orSAT
QBFEVAL'04

InstanceResultTime
cf_7_7x7_d_UNSAT0.72
cf_7_8x7_d_UNSAT1.04
cf_7_7x9_d_UNSAT1.36
cf_7_9x9_d_UNSAT2.7
cf_7_8x8_w_FAIL901
cf_7_9x7_w_FAIL901
cf_7_9x7_r_FAIL901.01
cf_7_9x8_w_FAIL901.01