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

InstanceResultTime
szymanski-10-sUNSAT1.04
szymanski-24-sUNSAT69.56