Instances of family ITC99 solved by Caqe-bloqqer-qdo
QBFEVAL'19 - Prenex CNF Track

InstanceResultTime
b21_PR_9_90UNSAT2.21
b20_PR_9_90UNSAT2.67
b22_PR_9_90UNSAT32.14
b22_PR_8_20FAIL900.03
b14_PR_1_50FAIL900.04
b21_PR_8_20FAIL900.05
b20_PR_7_20FAIL900.06
b18_PR_4_2FAIL900.07
b21_C_3_206FAIL900.07
b20_C_3_2FAIL900.08