Instances of family SzymanskiP solved by depqbf-v3
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
szymanski-5-sUNSAT5.83
szymanski-6-sUNSAT14.93
szymanski-12-sFAIL599.71
szymanski-8-sFAIL599.71
szymanski-24-sFAIL599.71
szymanski-18-sFAIL599.71
szymanski-10-sFAIL599.71
szymanski-16-sFAIL599.81
szymanski-14-sFAIL599.81
szymanski-20-sFAIL599.81