QBF Solver Evaluation Portal
qbflib.orgSuite Pan 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 | 5412.17 | 284.85 | 399.32 | 12.66 | 711.7 | 0.737 |
| Caqe-hqspre | 6034.11 | 317.58 | 361.54 | 160.61 | 354.56 | 0.737 |
| caqe-pre | 5947.78 | 313.04 | 348.69 | 178.39 | 334.48 | 0.789 |
| depqbf_prefix_opt_qdo | 9902.93 | 521.21 | 444.21 | 900.01 | 899.97 | 0.421 |
| depqbf_pre_QxQBH | 5913.38 | 311.23 | 358.62 | 173.99 | 201.44 | 0.737 |
| GhostQ___cegar_pcnf_2019 | 16415.83 | 863.99 | 152.97 | 900.06 | 0.05 | 0.053 |
| GhostQ___plain_pcnf_2019 | 16451.29 | 865.86 | 145.04 | 900.05 | 0.06 | 0.053 |
| Hiqqer2019_1 | 8138.58 | 428.35 | 447.51 | 18.33 | 898.42 | 0.526 |
| Hiqqer2019_2 | 8312.85 | 437.52 | 440.67 | 191.16 | 898.19 | 0.526 |
| Hiqqer2019_3 | 9915.43 | 521.86 | 443.44 | 900 | 898.43 | 0.421 |
| Qute_default | 7260.32 | 382.12 | 374.23 | 243.85 | 883.01 | 0.684 |
| Qute_opt500 | 2449.65 | 128.93 | 148.63 | 45.74 | 184.17 | 0.632 |
| Qute_rrs | 6874.67 | 361.82 | 358.28 | 227.18 | 559.99 | 0.737 |