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

InstanceResultTime
szymanski-10-sUNSAT63.59
szymanski-24-sFAIL1200.23