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

InstanceResultTime
szymanski-6-sUNSAT0.66
szymanski-8-sUNSAT0.91
szymanski-5-sUNSAT1.28
szymanski-10-sUNSAT1.44
szymanski-12-sUNSAT2.38
szymanski-14-sUNSAT4.58
szymanski-16-sUNSAT8.39
szymanski-18-sUNSAT15.4
szymanski-20-sUNSAT26.66
szymanski-24-sUNSAT67.28