QBF Solver Evaluation Portal
qbflib.orgSota solver results for family arithmetic
QBFEVAL'17 - Prenex CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| ceiling128 | heretiq | SAT | 0.02 |  |
| decomposition256 | ijtihad_v2 | SAT | 0.01 | |
| equalization32 | rev_qfun0.1 | SAT | 0 | |
| floor256 | caqe_2017_v1 | SAT | 0.01 | |
| intermediate128 | dynQBF-bloqqer-hqspre | SAT | 8.97 | |