Results for instance incrementer-enc07-nonuniform-depth-17
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.



Solver Time Result
depqbf-cert-v12.11UNSAT
depqbf-cert-v22.41UNSAT
cheq2.85UNSAT
caqe-minisat-cert50.33UNSAT
caqe-picosat-cert114.45UNSAT