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

InstanceResultTime
vonNeumann-ripple-carry-5-cUNSAT0.05
vonNeumann-ripple-carry-6-cUNSAT0.08
vonNeumann-ripple-carry-7-cUNSAT0.11
vonNeumann-ripple-carry-8-cUNSAT0.18
vonNeumann-ripple-carry-9-cUNSAT0.27
vonNeumann-ripple-carry-10-cUNSAT0.39
vonNeumann-ripple-carry-11-cUNSAT0.54
vonNeumann-ripple-carry-12-cUNSAT0.76
vonNeumann-ripple-carry-13-cUNSAT1.05
vonNeumann-ripple-carry-15-cUNSAT2.02