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

InstanceResultTime
vonNeumann-ripple-carry-5-cUNSAT29.56
vonNeumann-ripple-carry-6-cUNSAT132.42
vonNeumann-ripple-carry-7-cUNSAT594.87
vonNeumann-ripple-carry-11-cFAIL599.72
vonNeumann-ripple-carry-12-cFAIL599.82