Instances of family SzymanskiP solved by AQME-1NN
QBFEVAL'07

InstanceResultTime
szymanski-14-sUNSAT7.58
szymanski-16-sUNSAT14.51
szymanski-18-sUNSAT179.8
szymanski-20-sUNSAT198.09
szymanski-22-sUNSAT225.93
szymanski-24-sUNSAT247.61