Instances of family VonNeumann solved by ghostq-cegar
QBFEVAL'16 - Prenex non-CNF Track.

InstanceResultTime
vonNeumann-ripple-carry-5-cUNSAT7.88
vonNeumann-ripple-carry-6-cUNSAT12.44
vonNeumann-ripple-carry-7-cUNSAT17.42
vonNeumann-ripple-carry-11-cUNSAT74.24
vonNeumann-ripple-carry-12-cFAIL100.13