Instances of family SzymanskiP solved by GRL
QBFEVAL'05

InstanceResultTime
szymanski-4-sUNSAT0.01
szymanski-5-sUNSAT0.04
szymanski-6-sUNSAT0.14
szymanski-8-sUNSAT0.57
szymanski-10-sUNSAT1.69
szymanski-12-sUNSAT3.97
szymanski-14-sUNSAT8.45
szymanski-16-sUNSAT16
szymanski-18-sUNSAT29.12
szymanski-20-sUNSAT48.66
szymanski-22-sUNSAT79.94
szymanski-24-sUNSAT124.3