Instances of family SzymanskiP solved by skizzo_v0.5
QBFEVAL'05

InstanceResultTime
szymanski-4-sUNSAT0.13
szymanski-5-sUNSAT0.5
szymanski-6-sUNSAT2.05
szymanski-8-sUNSAT36.24
szymanski-14-sFAIL250.43
szymanski-24-sFAIL638.03
szymanski-20-sFAIL895.59
szymanski-22-sFAIL895.81
szymanski-12-sFAIL899.35
szymanski-18-sFAIL899.56
szymanski-16-sFAIL900.21
szymanski-10-sFAIL901.49