Instances of family VonNeumann solved by squeezebf+struqs
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
vonNeumann-ripple-carry-5-cSAT0.09
vonNeumann-ripple-carry-6-cSAT0.18
vonNeumann-ripple-carry-7-cSAT0.36
vonNeumann-ripple-carry-8-cSAT0.68
vonNeumann-ripple-carry-9-cSAT1.28
vonNeumann-ripple-carry-10-cSAT2.31
vonNeumann-ripple-carry-11-cSAT4.27
vonNeumann-ripple-carry-12-cSAT7.36
vonNeumann-ripple-carry-13-cSAT13.07
vonNeumann-ripple-carry-15-cSAT32.59