Instances of family Connect7 solved by openQbf
QBFEVAL'04

InstanceResultTime
cf_7_7x7_d_UNSAT0.92
cf_7_8x7_d_UNSAT1.18
cf_7_7x9_d_UNSAT1.3
cf_7_8x8_w_UNSAT1.32
cf_7_9x7_w_UNSAT1.35
cf_7_9x8_w_UNSAT1.68
cf_7_9x9_d_UNSAT2.02
cf_7_9x7_r_FAIL901