Instances of family SzymanskiP solved by quantor-3.1
QBFEVAL'10 - Competitive Track.

InstanceResultTime
szymanski-24-sFAIL20.15
szymanski-10-sFAIL30.87