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

InstanceResultTime
vonNeumann-ripple-carry-5-cUNSAT24.1
vonNeumann-ripple-carry-6-cUNSAT108.41
vonNeumann-ripple-carry-7-cUNSAT334.71
vonNeumann-ripple-carry-12-cFAIL600
vonNeumann-ripple-carry-8-cFAIL600
vonNeumann-ripple-carry-9-cFAIL600
vonNeumann-ripple-carry-13-cFAIL600
vonNeumann-ripple-carry-11-cFAIL600
vonNeumann-ripple-carry-15-cFAIL600
vonNeumann-ripple-carry-10-cFAIL600