Instances of family s820 solved by par-pd-depqbf
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.

InstanceResultTime
s820_d3_sSAT0.51
s820_d2_sSAT0.51
s820_d7_sSAT66.73
s820_d8_sSAT220.23
s820_d14_uFAIL600
s820_d10_sFAIL600
s820_d15_uFAIL600
s820_d11_uFAIL600
s820_d9_sFAIL600
s820_d12_uFAIL600