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

InstanceResultTime
szymanski-24-sFAIL301.22
szymanski-10-sFAIL1200.23