QBF Solver Evaluation Portal
qbflib.orgFamily RankingFunctions results for solvers
Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Caqe-bloqqer-qdo | 26.7 | 2.67 | 0.66 | 2.6 | 1.2 | 1 |
| Caqe-hqspre | 0 | 0 | 0 | 0 | 0 | 1 |
| caqe-pre | 0.13 | 0.01 | 0.04 | 0 | 0 | 1 |
| depqbf_prefix_opt_qdo | 9000 | 900 | 0 | 900 | 0 | 0 |
| depqbf_pre_QxQBH | 3.09 | 0.31 | 0.32 | 0.27 | 0.53 | 1 |
| GhostQ___cegar_pcnf_2019 | 124.23 | 12.42 | 4.63 | 11.73 | 10.7 | 1 |
| GhostQ___plain_pcnf_2019 | 816.93 | 81.69 | 50.02 | 89.26 | 97.1 | 1 |
| iprover_bloqqer_schedule | 27.08 | 2.71 | 0.67 | 2.65 | 1.07 | 1 |
| iprover_bloqqer_single | 27.18 | 2.72 | 0.65 | 2.64 | 1.14 | 1 |
| nanoqbf_bloqqer | 16.37 | 1.64 | 0.38 | 1.73 | 0.83 | 1 |
| nanoqbf_hqspre | 0.24 | 0.02 | 0.07 | 0 | 0 | 1 |
| Qute_default | 0 | 0 | 0 | 0 | 0 | 1 |
| Qute_opt500 | 0 | 0 | 0 | 0 | 0 | 1 |
| Qute_rrs | 0 | 0 | 0 | 0 | 0 | 1 |
| Rareqs_2018 | 0 | 0 | 0 | 0 | 0 | 1 |