Instances of family Connect8 solved by xb-qsts_xbqsts1.0
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
cf_8_8x8_d_UNSAT0.91
cf_8_9x8_d_UNSAT1.38