Instances of family VonNeumann solved by mpiDepQBF
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.

InstanceResultTime
vonNeumann-ripple-carry-5-cUNSAT0.23
vonNeumann-ripple-carry-6-cUNSAT0.56
vonNeumann-ripple-carry-7-cUNSAT0.98
vonNeumann-ripple-carry-8-cUNSAT3.02
vonNeumann-ripple-carry-9-cUNSAT4.74
vonNeumann-ripple-carry-13-cFAIL600
vonNeumann-ripple-carry-11-cFAIL600
vonNeumann-ripple-carry-15-cFAIL600
vonNeumann-ripple-carry-10-cFAIL600
vonNeumann-ripple-carry-12-cFAIL600