Instances of family VonNeumann solved by aqua-s3o
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
vonNeumann-ripple-carry-5-cUNSAT0.09
vonNeumann-ripple-carry-6-cUNSAT0.2
vonNeumann-ripple-carry-7-cUNSAT0.39
vonNeumann-ripple-carry-8-cUNSAT0.75
vonNeumann-ripple-carry-9-cUNSAT1.42
vonNeumann-ripple-carry-10-cUNSAT2.56
vonNeumann-ripple-carry-11-cUNSAT4.79
vonNeumann-ripple-carry-12-cUNSAT8.24
vonNeumann-ripple-carry-13-cUNSAT14.62
vonNeumann-ripple-carry-15-cUNSAT36.92