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

InstanceResultTime
vonNeumann-ripple-carry-5-cUNSAT0.21
vonNeumann-ripple-carry-6-cUNSAT0.41
vonNeumann-ripple-carry-7-cUNSAT0.71
vonNeumann-ripple-carry-8-cUNSAT1.12
vonNeumann-ripple-carry-9-cUNSAT1.71
vonNeumann-ripple-carry-10-cUNSAT2.41
vonNeumann-ripple-carry-11-cUNSAT3.22
vonNeumann-ripple-carry-12-cUNSAT4.52
vonNeumann-ripple-carry-13-cUNSAT6.11
vonNeumann-ripple-carry-15-cUNSAT10.51