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

InstanceResultTime
s820_d6_sFAIL1200
s820_d7_sFAIL1200