Instances of family SzymanskiP solved by QUANTOR
QBFEVAL'05

InstanceResultTime
szymanski-4-sUNSAT0.01
szymanski-5-sUNSAT0.05
szymanski-14-sFAIL9.13
szymanski-16-sFAIL9.16
szymanski-18-sFAIL9.22
szymanski-12-sFAIL9.28
szymanski-6-sUNSAT9.97
szymanski-20-sFAIL10.05
szymanski-22-sFAIL10.56
szymanski-24-sFAIL12.21
szymanski-10-sFAIL13.95
szymanski-8-sFAIL29.27