QBF Solver Evaluation Portal
qbflib.orgSota solver results for family formula_add
Prenex CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| add4_CHOOSE | Rareqs_2018 | SAT | 4.17 |  |
| add5_CHOOSE | Caqe-bloqqer-qdo | SAT | 85.69 | |
| add5_COMPLETE | nanoqbf_bloqqer | SAT | 9.12 | |
| add5_REDUCED | Rareqs_2018 | SAT | 4.51 | |
| add6_COMPLETE | nanoqbf_hqspre | SAT | 123.76 | |
| add6_REDUCED | depqbf_prefix_opt_qdo | SAT | 114.85 | |