QBF Solver Evaluation Portal
qbflib.orgFamily terminator results for solvers
Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Caqe-bloqqer-qdo | 3122.07 | 312.21 | 386.33 | 66.34 | 124.54 | 0.7 |
| Caqe-hqspre | 25.08 | 2.51 | 3.27 | 1.56 | 2.75 | 1 |
| caqe-pre | 25.01 | 2.5 | 3.29 | 1.52 | 2.73 | 1 |
| depqbf_prefix_opt_qdo | 4545.74 | 454.57 | 382.42 | 324.1 | 899.98 | 0.6 |
| depqbf_pre_QxQBH | 657.62 | 65.76 | 81.02 | 23.32 | 45.02 | 1 |
| GhostQ___cegar_pcnf_2019 | 1173.25 | 117.33 | 265.48 | 3.6 | 19.76 | 0.9 |
| GhostQ___plain_pcnf_2019 | 160.27 | 16.03 | 36.44 | 1.86 | 3.42 | 1 |
| iprover_bloqqer_schedule | 8997.82 | 899.78 | 0.65 | 900 | 0 | 0 |
| iprover_bloqqer_single | 9000 | 900 | 0 | 900 | 0 | 0 |
| nanoqbf_bloqqer | 9000 | 900 | 0 | 900 | 0 | 0 |
| nanoqbf_hqspre | 920.64 | 92.06 | 269.32 | 2.76 | 4.21 | 0.9 |
| Qute_default | 28.12 | 2.81 | 3.27 | 2.57 | 2.09 | 1 |
| Qute_opt500 | 15.97 | 1.6 | 1.08 | 1.76 | 2.04 | 0 |
| Qute_rrs | 22.2 | 2.22 | 2.51 | 2.43 | 2.46 | 1 |
| Rareqs_2018 | 7364.16 | 736.42 | 327.32 | 900 | 795.42 | 0.2 |