Instances of family SzymanskiP solved by aqme-10
QBFEVAL'16 - Solver Portfolio Track.

InstanceResultTime
szymanski-6-sUNSAT0.66
szymanski-8-sUNSAT0.86
szymanski-5-sUNSAT1.24
szymanski-10-sUNSAT1.38
szymanski-12-sUNSAT2.25
szymanski-14-sUNSAT4.32
szymanski-16-sUNSAT8.07
szymanski-18-sUNSAT14.99
szymanski-20-sUNSAT25.68
szymanski-24-sUNSAT65.38