Instances of family VonNeumann solved by caqe-minisat-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.46
vonNeumann-ripple-carry-9-cUNSAT0.69
vonNeumann-ripple-carry-10-cUNSAT1.01
vonNeumann-ripple-carry-11-cUNSAT1.42
vonNeumann-ripple-carry-12-cUNSAT2.01
vonNeumann-ripple-carry-13-cUNSAT2.67
vonNeumann-ripple-carry-15-cUNSAT4.57