Instances of family SzymanskiP solved by par-pd-depqbf
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.

InstanceResultTime
szymanski-6-sUNSAT0.51
szymanski-5-sUNSAT0.51
szymanski-8-sUNSAT2.02
szymanski-10-sUNSAT8.04
szymanski-12-sUNSAT31.63
szymanski-14-sUNSAT97.88
szymanski-16-sUNSAT243.87
szymanski-18-sUNSAT498.3
szymanski-20-sFAIL600
szymanski-24-sFAIL600