Instances of family SzymanskiP solved by openQbf
QBFEVAL'05

InstanceResultTime
szymanski-4-sUNSAT0.3
szymanski-5-sUNSAT0.64
szymanski-6-sUNSAT1.47
szymanski-8-sUNSAT3.6
szymanski-10-sUNSAT7.22
szymanski-12-sUNSAT17.85
szymanski-14-sUNSAT32.26
szymanski-16-sUNSAT83.92
szymanski-18-sUNSAT137.2
szymanski-20-sUNSAT237.07
szymanski-22-sUNSAT409.85
szymanski-24-sUNSAT712.05