Instances of family SzymanskiP solved by QMRes
QBFEVAL'05

InstanceResultTime
szymanski-4-sUNSAT0.08
szymanski-14-sFAIL1.51
szymanski-16-sFAIL2.64
szymanski-18-sFAIL3.76
szymanski-20-sFAIL5.08
szymanski-22-sFAIL7.18
szymanski-24-sFAIL9.61
szymanski-5-sUNSAT10.56
szymanski-12-sFAIL899.81
szymanski-6-sFAIL900.07
szymanski-10-sFAIL900.65
szymanski-8-sFAIL900.71