Instances of family SzymanskiP solved by ghostq-cegar
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
szymanski-20-sFAIL599.42
szymanski-18-sFAIL599.61
szymanski-16-sFAIL599.62
szymanski-10-sFAIL599.71
szymanski-6-sFAIL599.71
szymanski-14-sFAIL599.71
szymanski-24-sFAIL599.71
szymanski-5-sFAIL599.81
szymanski-8-sFAIL599.82
szymanski-12-sFAIL600