Instances of family Connect6 solved by QUBE-BJ
QBFEVAL'04

InstanceResultTime
cf_6_6x6_d_UNSAT1.08
cf_6_6x8_w_UNSAT1.18
cf_6_8x7_d_UNSAT1.26
cf_6_8x9_d_FAIL3.79
cf_6_6x9_r_FAIL4.55
cf_6_8x6_r_FAIL901.03
cf_6_6x6_r_FAIL901.03
cf_6_8x8_r_FAIL901.04