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

InstanceResultTime
cf_6_6x6_w_UNSAT0.23
cf_6_9x7_r_FAIL900