QBF Solver Evaluation Portal
qbflib.orgSota solver results for family Adder
QBFEVAL'19 - Prenex CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| adder-10-sat | caqe-pre | SAT | 131.94 |  |
| Adder2-10-s | caqe-pre | SAT | 4.07 | |
| Adder2-14-s | caqe-pre | SAT | 22.86 | |
| Adder2-16-c | Caqe-bloqqer-qdo | UNSAT | 21.6 | |
| Adder2-16-s | caqe-pre | SAT | 46.67 | |
| Adder2-8-c | Caqe-bloqqer-qdo | UNSAT | 3.53 | |
| Adder2-8-s | Caqe-hqspre | SAT | 0.92 | |