Instances of family VonNeumann solved by QUANTOR
QBFEVAL'04

InstanceResultTime
vonNeumann-ripple-carry-5-cUNSAT0.12
vonNeumann-ripple-carry-7-cUNSAT0.39
vonNeumann-ripple-carry-9-cUNSAT0.92
vonNeumann-ripple-carry-10-cUNSAT1.45
vonNeumann-ripple-carry-11-cUNSAT2
vonNeumann-ripple-carry-12-cUNSAT3.01
vonNeumann-ripple-carry-13-cUNSAT3.85
vonNeumann-ripple-carry-14-cUNSAT4.84