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

InstanceResultTime
s499_d9_sFAIL600
s499_d24_uFAIL600
s499_d12_sFAIL600
s499_d15_sFAIL600
s499_d22_uFAIL600
s499_d25_uFAIL600
s499_d7_sFAIL600
s499_d17_sFAIL600
s499_d19_sFAIL600
s499_d18_sFAIL600