QBF Solver Evaluation Portal
qbflib.orgSota solver results for family incrementer-encoder
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| incrementer-enc02-nonuniform-depth-31 | depqbf-cert-v1 | UNSAT | 4.11 |  |
| incrementer-enc03-nonuniform-depth-13 | cheq | UNSAT | 0.56 | |
| incrementer-enc03-nonuniform-depth-24 | depqbf-cert-v2 | UNSAT | 3.51 | |
| incrementer-enc05-uniform-depth-2 | caqe-minisat-cert | UNSAT | 0.06 | |
| incrementer-enc07-nonuniform-depth-17 | depqbf-cert-v1 | UNSAT | 2.11 | |
| incrementer-enc07-nonuniform-depth-21 | depqbf-cert-v1 | UNSAT | 4.32 | |