QBF Solver Evaluation Portal
qbflib.orgFamily dungeon results for solvers
Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Caqe-bloqqer-qdo | 9000 | 900 | 0 | 900 | 0 | 0 |
| Caqe-hqspre | 269.31 | 26.93 | 8.85 | 21.95 | 19.54 | 1 |
| caqe-pre | 268.94 | 26.89 | 8.91 | 21.83 | 19.88 | 1 |
| depqbf_prefix_opt_qdo | 6567.06 | 656.71 | 297.44 | 874.2 | 688.04 | 0.5 |
| depqbf_pre_QxQBH | 347.45 | 34.75 | 13.43 | 27.26 | 29.74 | 1 |
| GhostQ___cegar_pcnf_2019 | 9000 | 900 | 0 | 900 | 0 | 0 |
| GhostQ___plain_pcnf_2019 | 9000 | 900 | 0 | 900 | 0 | 0 |
| iprover_bloqqer_schedule | 9000 | 900 | 0 | 900 | 0 | 0 |
| iprover_bloqqer_single | 9000 | 900 | 0 | 900 | 0 | 0 |
| nanoqbf_bloqqer | 9000 | 900 | 0 | 900 | 0 | 0 |
| nanoqbf_hqspre | 236.36 | 23.64 | 9.68 | 18.09 | 21.39 | 1 |
| Qute_default | 307.63 | 30.76 | 12.92 | 23.7 | 28.57 | 1 |
| Qute_opt500 | 307.7 | 30.77 | 12.93 | 23.79 | 28.68 | 1 |
| Qute_rrs | 307.46 | 30.75 | 12.96 | 23.59 | 28.94 | 1 |
| Rareqs_2018 | 9000 | 900 | 0 | 900 | 0 | 0 |