Instances of family SzymanskiP solved by semprop
QBFEVAL'05

InstanceResultTime
szymanski-4-sUNSAT1.58
szymanski-5-sUNSAT41.26
szymanski-6-sUNSAT208.32
szymanski-24-sFAIL900.77
szymanski-22-sFAIL900.83
szymanski-20-sFAIL900.83
szymanski-16-sFAIL900.91
szymanski-18-sFAIL900.91
szymanski-14-sFAIL900.95
szymanski-8-sFAIL900.97
szymanski-12-sFAIL900.98
szymanski-10-sFAIL900.98