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

InstanceResultTime
s820_d6_sFAIL1200.09
s820_d7_sFAIL1200.09