Instances of family SzymanskiP solved by qbfbdd
QBFEVAL'05

InstanceResultTime
szymanski-4-sUNSAT0.2
szymanski-5-sUNSAT4.74
szymanski-6-sUNSAT170.17
szymanski-16-sFAIL897.94
szymanski-24-sFAIL900.65
szymanski-22-sFAIL900.69
szymanski-10-sFAIL900.75
szymanski-12-sFAIL900.78
szymanski-8-sFAIL900.78
szymanski-14-sFAIL900.79
szymanski-20-sFAIL900.83
szymanski-18-sFAIL900.9