Instances of family Connect5 solved by prefix-opt-depqbf
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
cf_5_9x9_d_UNSAT4.08
cf_5_5x6_r_FAIL900