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

InstanceResultTime
vonNeumann-ripple-carry-5-cUNSAT0.16
vonNeumann-ripple-carry-6-cUNSAT0.29
vonNeumann-ripple-carry-7-cUNSAT0.52
vonNeumann-ripple-carry-8-cUNSAT0.84
vonNeumann-ripple-carry-9-cUNSAT1.21
vonNeumann-ripple-carry-10-cUNSAT1.92
vonNeumann-ripple-carry-11-cUNSAT2.69
vonNeumann-ripple-carry-12-cUNSAT3.86
vonNeumann-ripple-carry-13-cUNSAT5.02
vonNeumann-ripple-carry-15-cUNSAT8.66