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

InstanceResultTime
s1196_d3_uFAIL1143.73