Instances of family VonNeumann solved by QMRes
QBFEVAL'04

InstanceResultTime
vonNeumann-ripple-carry-14-cFAIL1.54
vonNeumann-ripple-carry-7-cFAIL2.87
vonNeumann-ripple-carry-9-cFAIL7.07
vonNeumann-ripple-carry-10-cFAIL11.9
vonNeumann-ripple-carry-11-cFAIL16.4
vonNeumann-ripple-carry-12-cFAIL26.1
vonNeumann-ripple-carry-13-cFAIL33.6
vonNeumann-ripple-carry-5-cFAIL901.01