Instances of family SzymanskiP solved by aigqbf_sr
QBFEVAL'07

InstanceResultTime
szymanski-14-sFAIL78.71
szymanski-16-sFAIL142.51
szymanski-18-sFAIL270.69
szymanski-20-sFAIL500.52
szymanski-22-sFAIL600
szymanski-24-sFAIL600