QBF Solver Evaluation Portal
qbflib.orgSuite Preusser 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 | 2401.61 | 343.09 | 363.21 | 240.67 | 245.26 | 0.714 |
| Caqe-hqspre | 3042.89 | 434.7 | 409.43 | 246.14 | 890.73 | 0.571 |
| caqe-pre | 2680.56 | 382.94 | 367.37 | 250.78 | 522.16 | 0.714 |
| depqbf_prefix_opt_qdo | 2232.59 | 318.94 | 286.69 | 185.76 | 379.02 | 0.857 |
| depqbf_pre_QxQBH | 5409.67 | 772.81 | 311.1 | 900.02 | 889.26 | 0.143 |
| GhostQ___cegar_pcnf_2019 | 5118.29 | 731.18 | 308.42 | 900.02 | 879.85 | 0.286 |
| GhostQ___plain_pcnf_2019 | 5639.53 | 805.65 | 231.2 | 900.03 | 660.71 | 0.143 |
| Hiqqer2019_1 | 3622.32 | 517.47 | 342.84 | 596.02 | 755.17 | 0.714 |
| Hiqqer2019_2 | 3775.86 | 539.41 | 416.21 | 899.14 | 852.13 | 0.429 |
| Hiqqer2019_3 | 4264.54 | 609.22 | 343.8 | 774.12 | 821.38 | 0.571 |
| Qute_default | 5556 | 793.71 | 260.4 | 900.01 | 744.16 | 0.143 |
| Qute_opt500 | 1055.9 | 150.84 | 192.91 | 2.05 | 160.95 | 0.143 |
| Qute_rrs | 5040.33 | 720.05 | 291.35 | 900.02 | 746.68 | 0.286 |