QBF Solver Evaluation Portal
qbflib.orgSota solver results for family Adder
Prenex CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| adder-10-sat | caqe-pre | SAT | 133.17 |  |
| Adder2-10-s | Caqe-hqspre | SAT | 4.09 | |
| Adder2-14-s | caqe-pre | SAT | 22.94 | |
| Adder2-16-c | Rareqs_2018 | UNSAT | 1.67 | |
| Adder2-16-s | caqe-pre | SAT | 46.8 | |
| Adder2-8-c | Rareqs_2018 | UNSAT | 0 | |
| Adder2-8-s | caqe-pre | SAT | 0.94 | |