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

InstanceResultTime
vonNeumann-ripple-carry-5-cUNSAT0.16
vonNeumann-ripple-carry-6-cUNSAT0.3
vonNeumann-ripple-carry-7-cUNSAT0.51
vonNeumann-ripple-carry-8-cUNSAT0.84
vonNeumann-ripple-carry-9-cUNSAT1.28
vonNeumann-ripple-carry-10-cUNSAT1.88
vonNeumann-ripple-carry-11-cUNSAT2.7
vonNeumann-ripple-carry-12-cUNSAT3.77
vonNeumann-ripple-carry-13-cUNSAT5.28
vonNeumann-ripple-carry-15-cUNSAT8.85