Instances of family Connect8 solved by yQuaffle
QBFEVAL'04

InstanceResultTime
cf_8_8x8_w_UNSAT0.71
cf_8_8x9_w_UNSAT1.74
cf_8_8x9_d_UNSAT1.74
cf_8_9x9_d_UNSAT2.07
cf_8_9x9_w_UNSAT2.07
cf_8_8x8_r_FAIL184.1
cf_8_8x9_r_FAIL202.84
cf_8_9x9_r_FAIL312.16