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

InstanceResultTime
szymanski-4-sUNSAT0.14
szymanski-5-sUNSAT0.46
szymanski-6-sUNSAT2.04
szymanski-8-sUNSAT51.61
szymanski-10-sUNSAT418.82
szymanski-14-sFAIL813.41
szymanski-22-sFAIL898.05
szymanski-24-sFAIL898.5
szymanski-20-sFAIL899.28
szymanski-18-sFAIL899.77
szymanski-16-sFAIL900.51
szymanski-12-sFAIL900.67