Instances of family VonNeumann solved by iprover-QBF
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
vonNeumann-ripple-carry-5-cUNSAT7.59
vonNeumann-ripple-carry-6-cUNSAT19.65
vonNeumann-ripple-carry-11-cFAIL25.24
vonNeumann-ripple-carry-12-cFAIL28.83
vonNeumann-ripple-carry-13-cFAIL29.25
vonNeumann-ripple-carry-15-cFAIL34.44
vonNeumann-ripple-carry-7-cUNSAT43.32
vonNeumann-ripple-carry-10-cFAIL58.93
vonNeumann-ripple-carry-8-cUNSAT91.94
vonNeumann-ripple-carry-9-cFAIL136.14