Instances of family ITC99 solved by heretiq
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
b17_PR_0_90UNSAT2.34
b15_PR_4_2SAT2.87
b20_PR_7_20SAT321.67
b18_PR_4_2FAIL900
b14_PR_1_50FAIL900
b22_PR_8_20FAIL900
b22_C_2_12FAIL900
b21_C_3_206FAIL900
b20_C_3_2FAIL900