Instances of family Connect5 solved by qbfrelay
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
cf_5_9x9_d_UNSAT5.86
cf_5_5x6_r_FAIL884.89