Instances of family SzymanskiP solved by ghostq-cegar
QBFEVAL'17 - Prenex non-CNF Track

InstanceResultTime
szymanski-5-sFAIL900
szymanski-14-sFAIL900
szymanski-8-sFAIL900
szymanski-16-sFAIL900
szymanski-6-sFAIL900