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

InstanceResultTime
vonNeumann-ripple-carry-5-cUNSAT0.04
vonNeumann-ripple-carry-6-cUNSAT0.07
vonNeumann-ripple-carry-7-cUNSAT0.13
vonNeumann-ripple-carry-8-cUNSAT0.21
vonNeumann-ripple-carry-9-cUNSAT0.32
vonNeumann-ripple-carry-10-cUNSAT0.47
vonNeumann-ripple-carry-11-cUNSAT0.68
vonNeumann-ripple-carry-12-cUNSAT0.93
vonNeumann-ripple-carry-13-cUNSAT1.26
vonNeumann-ripple-carry-15-cUNSAT2.17