QBF Solver Evaluation Portal
qbflib.orgSota solver results for family incrementer-encoder
QBFEVAL'17 - Prenex non-CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| incrementer-enc02-uniform-depth-58 | cqesto | UNSAT | 0.5 |  |
| incrementer-enc07-uniform-depth-25 | cqesto | UNSAT | 0.11 | |
| incrementer-enc08-uniform-depth-33 | cqesto | SAT | 0.27 | |