QBF Solver Evaluation Portal
qbflib.orgSota solver results for family formula_add
QBFEVAL'19 - Prenex CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| add4_REDUCED | Caqe-bloqqer-qdo | SAT | 2.78 |  |
| add5_CHOOSE | Hiqqer2019_1 | SAT | 13.17 | |
| add5_COMPLETE | Caqe-hqspre | SAT | 71.4 | |
| add5_REDUCED | Caqe-hqspre | SAT | 15.98 | |
| add6_CHOOSE | Hiqqer2019_1 | SAT | 596.02 | |
| add6_COMPLETE | depqbf_prefix_opt_qdo | SAT | 185.76 | |
| add6_REDUCED | depqbf_prefix_opt_qdo | SAT | 116.68 | |