Instances of family ITC99 solved by depqbf_pre_QxQBH
QBFEVAL'18 - Prenex CNF Track

InstanceResultTime
b21_PR_9_90UNSAT0.71
b20_PR_9_90UNSAT0.98
b21_PR_8_20SAT2
b14_PR_1_50SAT2.52
b20_PR_7_20SAT3.18
b22_PR_8_20SAT40.45
b22_PR_9_90UNSAT82.68
b18_PR_4_2SAT89.03
b21_C_3_206FAIL900.02
b20_C_3_2FAIL900.03