QBF Solver Evaluation Portal
qbflib.orgSota solver results for family formula_add
QBFEVAL'18 - Prenex CNF Track
| Instance | Solver | Result | Time | |
|---|---|---|---|---|
| add4_REDUCED | Rareqs_2018 | SAT | 0 |  |
| add5_CHOOSE | Caqe-bloqqer | SAT | 51.52 | |
| add5_COMPLETE | Caqe-bloqqer | SAT | 96.68 | |
| add5_REDUCED | Rareqs_2018 | SAT | 4.55 | |
| add6_COMPLETE | depqbf_prefix_opt_qdo | SAT | 189.96 | |
| add6_REDUCED | Caqe-bloqqer-qdo | SAT | 114.31 | |