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

InstanceResultTime
szymanski-5-sUNSAT0.95
szymanski-6-sUNSAT9.67
szymanski-14-sFAIL600
szymanski-20-sFAIL600
szymanski-12-sFAIL600
szymanski-8-sFAIL600
szymanski-24-sFAIL600
szymanski-18-sFAIL600
szymanski-16-sFAIL600
szymanski-10-sFAIL600