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

InstanceResultTime
s1269_d10_sFAIL600
s1269_d12_uFAIL600
s1269_d4_sFAIL600
s1269_d14_uFAIL600
s1269_d8_sFAIL600
s1269_d5_sFAIL600
s1269_d9_sFAIL600
s1269_d15_uFAIL600
s1269_d3_sFAIL600
s1269_d13_uFAIL600