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

InstanceResultTime
szymanski-16-sFAIL599.21
szymanski-14-sFAIL599.43
szymanski-8-sFAIL599.71
szymanski-6-sFAIL599.81
szymanski-5-sFAIL599.81