Instances of family VonNeumann solved by WalkQSAT
QBFEVAL'05

InstanceResultTime
vonNeumann-ripple-carry-5-cUNSAT0.19
vonNeumann-ripple-carry-6-cUNSAT0.34
vonNeumann-ripple-carry-7-cUNSAT0.56
vonNeumann-ripple-carry-8-cFAIL0.59
vonNeumann-ripple-carry-9-cFAIL0.98
vonNeumann-ripple-carry-10-cFAIL1.25
vonNeumann-ripple-carry-11-cFAIL1.87
vonNeumann-ripple-carry-12-cFAIL2.57
vonNeumann-ripple-carry-13-cFAIL3.49
vonNeumann-ripple-carry-15-cFAIL5.77