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

InstanceResultTime
cf_8_8x8_w_UNSAT1.25
cf_8_9x9_w_FAIL2.87
cf_8_8x9_d_FAIL3.61
cf_8_9x9_d_FAIL3.63
cf_8_8x9_w_FAIL3.64
cf_8_8x9_r_FAIL4.32
cf_8_9x9_r_FAIL4.44
cf_8_8x8_r_FAIL901.03