Instances of family ITC99 solved by depqbf-v2
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
b12_PR_9_2SAT0.51
b20_PR_7_90UNSAT4.01
b20_PR_7_20SAT11.51
b22_C_2_12FAIL592.62
b21_C_3_206FAIL592.94
b20_C_3_2FAIL593.02
b22_PR_8_20FAIL593.32