Instances of family VonNeumann solved by QChaffLearn
QBFEVAL'05

InstanceResultTime
vonNeumann-ripple-carry-5-cFAIL0.11
vonNeumann-ripple-carry-6-cFAIL0.22
vonNeumann-ripple-carry-7-cFAIL0.34
vonNeumann-ripple-carry-8-cFAIL0.62
vonNeumann-ripple-carry-9-cFAIL0.96
vonNeumann-ripple-carry-10-cFAIL1.36
vonNeumann-ripple-carry-11-cFAIL1.94
vonNeumann-ripple-carry-12-cFAIL2.72
vonNeumann-ripple-carry-13-cFAIL3.66
vonNeumann-ripple-carry-15-cFAIL6.6