Instances of family SzymanskiP solved by WalkQSAT
QBFEVAL'05

InstanceResultTime
szymanski-4-sUNSAT0.02
szymanski-5-sUNSAT0.03
szymanski-6-sUNSAT0.06
szymanski-8-sUNSAT0.24
szymanski-18-sFAIL0.45
szymanski-20-sFAIL0.61
szymanski-10-sUNSAT0.67
szymanski-22-sFAIL0.86
szymanski-24-sFAIL1.11
szymanski-12-sUNSAT1.38
szymanski-14-sUNSAT2.81
szymanski-16-sUNSAT4.88