Instances of family SzymanskiP solved by QUANTOR_hc
QBFEVAL'06

InstanceResultTime
szymanski-14-sFAIL11.79
szymanski-12-sFAIL12.49
szymanski-16-sFAIL12.98
szymanski-20-sFAIL13.45
szymanski-18-sFAIL14.44
szymanski-24-sFAIL15.73
szymanski-22-sFAIL16.07
szymanski-10-sFAIL16.58
szymanski-8-sFAIL37