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

InstanceResultTime
vonNeumann-ripple-carry-5-cUNSAT0.09
vonNeumann-ripple-carry-6-cUNSAT0.16
vonNeumann-ripple-carry-7-cUNSAT0.28
vonNeumann-ripple-carry-8-cUNSAT0.45
vonNeumann-ripple-carry-9-cUNSAT0.68
vonNeumann-ripple-carry-10-cUNSAT1
vonNeumann-ripple-carry-11-cUNSAT1.42
vonNeumann-ripple-carry-12-cUNSAT1.98
vonNeumann-ripple-carry-13-cUNSAT2.68
vonNeumann-ripple-carry-15-cUNSAT4.57