Instances of family VonNeumann solved by quabs-minisat
QBFEVAL'16 - Prenex non-CNF Track.

InstanceResultTime
vonNeumann-ripple-carry-5-cUNSAT3.92
vonNeumann-ripple-carry-6-cUNSAT14.58
vonNeumann-ripple-carry-7-cUNSAT43.68
vonNeumann-ripple-carry-11-cFAIL599.71
vonNeumann-ripple-carry-12-cFAIL599.72