Instances of family SzymanskiP solved by depqbf-cert-v1
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

InstanceResultTime
szymanski-5-sUNSAT2.01
szymanski-6-sUNSAT44.91
szymanski-24-sFAIL613.53
szymanski-14-sFAIL617.12
szymanski-18-sFAIL617.76
szymanski-10-sFAIL618.45
szymanski-8-sFAIL621.02
szymanski-20-sFAIL622.72
szymanski-16-sFAIL629.33
szymanski-12-sFAIL636.27