Instances of family Connect5 solved by xb-qsts_bqsts2.0
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
cf_5_9x9_d_UNSAT2.91
cf_5_5x6_r_UNSAT127.62