Instances of family SzymanskiP solved by sSolve
QBFEVAL'05

InstanceResultTime
szymanski-4-sUNSAT0.02
szymanski-5-sUNSAT0.04
szymanski-6-sUNSAT0.09
szymanski-8-sUNSAT0.39
szymanski-10-sUNSAT1.45
szymanski-12-sUNSAT4.66
szymanski-14-sUNSAT12
szymanski-16-sUNSAT26.21
szymanski-18-sUNSAT51.02
szymanski-20-sUNSAT90.9
szymanski-22-sUNSAT152.17
szymanski-24-sUNSAT242.15