Instances of family VonNeumann solved by caqe-picosat-cert
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

InstanceResultTime
vonNeumann-ripple-carry-5-cUNSAT0.38
vonNeumann-ripple-carry-6-cUNSAT0.78
vonNeumann-ripple-carry-7-cUNSAT1.5
vonNeumann-ripple-carry-8-cUNSAT2.74
vonNeumann-ripple-carry-9-cUNSAT4.81
vonNeumann-ripple-carry-10-cUNSAT8.29
vonNeumann-ripple-carry-11-cUNSAT13.72
vonNeumann-ripple-carry-12-cUNSAT22.63
vonNeumann-ripple-carry-13-cUNSAT36.32
vonNeumann-ripple-carry-15-cUNSAT95.54