Instances of family s820 solved by depqbf
QBFEVAL'10 - Competitive Track.

InstanceResultTime
s820_d6_sFAIL1200.18
s820_d7_sFAIL1200.2