QBF Solver Evaluation Portal
qbflib.orgFamily toy 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 | 2667.88 | 533.58 | 372 | 677.52 | 693.67 | 0.6 |
| Caqe-hqspre | 906.14 | 181.23 | 359.41 | 2.37 | 1.76 | 0.8 |
| caqe-pre | 456.08 | 91.22 | 179.38 | 2.4 | 1.78 | 1 |
| depqbf_prefix_opt_qdo | 3773.91 | 754.78 | 290.57 | 900.06 | 363.23 | 0.2 |
| depqbf_pre_QxQBH | 10.09 | 2.02 | 1.84 | 1.88 | 2.99 | 1 |
| GhostQ___cegar_pcnf_2019 | 4500.18 | 900.04 | 0.02 | 900.03 | 0.02 | 0 |
| GhostQ___plain_pcnf_2019 | 3710.63 | 742.13 | 315.82 | 900.02 | 394.77 | 0.2 |
| Hiqqer2019_1 | 333.62 | 66.72 | 109.06 | 0 | 26.31 | 1 |
| Hiqqer2019_2 | 59.41 | 11.88 | 22.64 | 0.68 | 0.48 | 1 |
| Hiqqer2019_3 | 80.32 | 16.06 | 21.16 | 0 | 13.92 | 1 |
| Qute_default | 932.04 | 186.41 | 356.88 | 4.13 | 10.75 | 0.8 |
| Qute_opt500 | 11.48 | 2.3 | 1.61 | 2.07 | 2.46 | 0.6 |
| Qute_rrs | 930.87 | 186.17 | 357.01 | 4.14 | 10.21 | 0.8 |