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

InstanceResultTime
szymanski-10-sUNSAT184.43
szymanski-24-sFAIL1200