QBF Solver Evaluation Portal
qbflib.orgFamily Adder results for solvers
QBFEVAL'19 - Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Caqe-bloqqer-qdo | 4069.93 | 406.99 | 408.42 | 190.54 | 878.41 | 0.6 |
| Caqe-hqspre | 3113.39 | 311.34 | 389.83 | 90.2 | 191.06 | 0.7 |
| caqe-pre | 3135.48 | 313.55 | 389.28 | 89.31 | 215.36 | 0.7 |
| depqbf_prefix_opt_qdo | 9000.44 | 900.04 | 0.03 | 900.04 | 0.05 | 0 |
| depqbf_pre_QxQBH | 9000.38 | 900.04 | 0.02 | 900.03 | 0.03 | 0 |
| GhostQ___cegar_pcnf_2019 | 9000.33 | 900.03 | 0.03 | 900.02 | 0.02 | 0 |
| GhostQ___plain_pcnf_2019 | 9000.33 | 900.03 | 0.03 | 900.03 | 0.02 | 0 |
| Hiqqer2019_1 | 8121.02 | 812.1 | 263.41 | 899.97 | 0.38 | 0.1 |
| Hiqqer2019_2 | 8358.84 | 835.88 | 191.95 | 900.02 | 1.2 | 0.1 |
| Hiqqer2019_3 | 8123.22 | 812.32 | 262.14 | 900.01 | 1.98 | 0.1 |
| Qute_default | 7431.01 | 743.1 | 317.72 | 900.02 | 674.48 | 0.2 |
| Qute_opt500 | 240.88 | 24.09 | 58.11 | 4.82 | 4.87 | 0 |
| Qute_rrs | 7409.51 | 740.95 | 321.35 | 900.03 | 694.78 | 0.2 |