Instances of family SzymanskiP solved by QSAT
QBFEVAL'04

InstanceResultTime
szymanski-16-sFAIL901
szymanski-6-sFAIL901
szymanski-18-sFAIL901
szymanski-10-sFAIL901
szymanski-4-sFAIL901
szymanski-22-sFAIL901
szymanski-14-sFAIL901.01
szymanski-12-sFAIL901.01