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

InstanceResultTime
s820_d3_sSAT3.23
s820_d2_sSAT6.11
s820_d8_sSAT82.71
s820_d10_sSAT152.94
s820_d7_sSAT282.83
s820_d11_uFAIL600
s820_d9_sFAIL600
s820_d12_uFAIL600
s820_d14_uFAIL600
s820_d15_uFAIL600