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

InstanceResultTime
cf_5_9x9_d_UNSAT0.64
cf_5_5x6_r_FAIL900