QBF Solver Evaluation Portal
qbflib.orgFamily wgrowing 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 | 1776.19 | 197.35 | 266.61 | 105.47 | 155.23 | 0.889 |
| Caqe-hqspre | 4608 | 512 | 434.27 | 900.01 | 881.7 | 0.444 |
| caqe-pre | 3442.11 | 382.46 | 336.06 | 518.38 | 554.55 | 0.889 |
| depqbf_prefix_opt_qdo | 7200.52 | 800.06 | 282.86 | 900.06 | 0.04 | 0.111 |
| depqbf_pre_QxQBH | 7200.25 | 800.03 | 282.85 | 900.02 | 0.03 | 0.111 |
| GhostQ___cegar_pcnf_2019 | 8100.42 | 900.05 | 0.02 | 900.05 | 0.03 | 0 |
| GhostQ___plain_pcnf_2019 | 8100.46 | 900.05 | 0.03 | 900.04 | 0.04 | 0 |
| Hiqqer2019_1 | 6219.43 | 691.05 | 322.71 | 899.82 | 491.52 | 0.333 |
| Hiqqer2019_2 | 6398.42 | 710.94 | 308.89 | 899.99 | 464.51 | 0.333 |
| Hiqqer2019_3 | 6222.08 | 691.34 | 322.35 | 900 | 491.64 | 0.333 |
| Qute_default | 2406.81 | 267.42 | 294.02 | 175.85 | 311.5 | 0.889 |
| Qute_opt500 | 10.16 | 1.13 | 0.69 | 0.74 | 1.18 | 0.111 |
| Qute_rrs | 2478.59 | 275.4 | 297.81 | 185.68 | 329.11 | 0.889 |