QBF Solver Evaluation Portal
qbflib.orgSota solver results for family arithmetic
QBFEVAL'18 - Prenex CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| ceiling128 | Caqe-bloqqer | SAT | 0 |  |
| decomposition256 | depqbf_pre_QxQBH | SAT | 0 | |
| floor256 | depqbf_pre_QxQBH | SAT | 0 | |
| intermediate128 | predyndep | SAT | 12.69 | |