Instances of family SzymanskiP solved by WalkQSAT
QBFEVAL'04

InstanceResultTime
szymanski-4-sUNSAT0.02
szymanski-6-sUNSAT0.08
szymanski-18-sFAIL0.53
szymanski-10-sUNSAT0.63
szymanski-22-sFAIL1.02
szymanski-12-sUNSAT1.34
szymanski-14-sUNSAT2.23
szymanski-16-sUNSAT2.33