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

InstanceResultTime
b14_PR_1_50SAT8.73
b20_PR_7_20SAT11.46
b22_C_2_12FAIL23.03
b22_PR_8_20SAT23.1
b15_PR_4_2SAT26.23
b17_PR_0_90UNSAT31.08
b21_C_3_206FAIL65.31
b18_PR_4_2SAT71.92
b20_C_3_2FAIL453.28