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

InstanceResultTime
s1269_d3_sFAIL1200.11