Sota solver results for family SzymanskiP
QBFEVAL'10 - Competitive Track.


InstanceSolverResultTime
szymanski-10-sQuBE7-cUNSAT1.04
szymanski-24-sQuBE7-cUNSAT59.66