Instances of family ITC99 solved by mpiDepQBF
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.

InstanceResultTime
b12_PR_9_2SAT0.06
b20_PR_7_90UNSAT0.64
b20_PR_7_20SAT1.08
b20_C_3_2FAIL600
b21_C_3_206FAIL600
b22_C_2_12FAIL600
b22_PR_8_20FAIL600