QBF Solver Evaluation Portal
qbflib.orgSota solver results for family arithmetic
QBFEVAL'19 - Prenex CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| ceiling128 | Caqe-bloqqer-qdo | SAT | 0 |  |
| ceiling256 | Hiqqer2019_1 | SAT | 0 | |
| decomposition128 | Qute_default | SAT | 0 | |
| decomposition256 | Qute_default | SAT | 0 | |
| floor128 | Qute_default | SAT | 0 | |
| floor256 | Qute_default | SAT | 0 | |