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

InstanceResultTime
cf_6_6x6_w_UNSAT0.05
cf_6_9x7_r_FAIL900