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

InstanceResultTime
vonNeumann-ripple-carry-5-cUNSAT0.03
vonNeumann-ripple-carry-6-cUNSAT0.07
vonNeumann-ripple-carry-7-cUNSAT0.12
vonNeumann-ripple-carry-8-cUNSAT0.2
vonNeumann-ripple-carry-9-cUNSAT0.32
vonNeumann-ripple-carry-10-cUNSAT0.47
vonNeumann-ripple-carry-11-cUNSAT0.67
vonNeumann-ripple-carry-12-cUNSAT0.94
vonNeumann-ripple-carry-13-cUNSAT1.26
vonNeumann-ripple-carry-15-cUNSAT2.19