Instances of family SzymanskiP solved by sSolve
QBFEVAL'04

InstanceResultTime
szymanski-4-sUNSAT0.02
szymanski-6-sUNSAT0.08
szymanski-10-sUNSAT1.41
szymanski-12-sUNSAT4.59
szymanski-14-sUNSAT12.04
szymanski-16-sUNSAT26.19
szymanski-18-sUNSAT50.52
szymanski-22-sUNSAT151.73