Instances of family VonNeumann solved by QUBE-BJ
QBFEVAL'04

InstanceResultTime
vonNeumann-ripple-carry-5-cUNSAT1.05
vonNeumann-ripple-carry-7-cUNSAT1.25
vonNeumann-ripple-carry-11-cFAIL1.53
vonNeumann-ripple-carry-9-cUNSAT1.69
vonNeumann-ripple-carry-12-cFAIL3.38
vonNeumann-ripple-carry-13-cFAIL3.57
vonNeumann-ripple-carry-14-cFAIL4.54
vonNeumann-ripple-carry-10-cUNSAT5.57