Results for instance vonNeumann-ripple-carry-10-c
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.



Solver Time Result
caqe-minisat-cert8.2UNSAT
caqe-picosat-cert8.29UNSAT
depqbf-cert-v210.22UNSAT
depqbf-cert-v111.03UNSAT
cheq227.8UNSAT