Instances of family Connect6 solved by ghostq-cegar
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
cf_6_6x6_w_UNSAT9.31
cf_6_9x7_r_FAIL900