QBF Solver Evaluation Portal
qbflib.orgFamily Planning-CTE 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 | 20383.49 | 783.98 | 255.79 | 900.05 | 0.06 | 0.192 |
| Caqe-hqspre | 2115.9 | 81.38 | 59.74 | 62.18 | 107.03 | 1 |
| caqe-pre | 2116.09 | 81.39 | 59.94 | 62.11 | 106.74 | 1 |
| depqbf_prefix_opt_qdo | 22996.1 | 884.47 | 77.89 | 900.04 | 0.05 | 0.038 |
| depqbf_pre_QxQBH | 14355.79 | 552.15 | 396.91 | 876.18 | 859.6 | 0.462 |
| GhostQ___cegar_pcnf_2019 | 23400.91 | 900.04 | 0.02 | 900.03 | 0.02 | 0 |
| GhostQ___plain_pcnf_2019 | 23401.36 | 900.05 | 0.03 | 900.05 | 0.05 | 0 |
| Hiqqer2019_1 | 22826.94 | 877.96 | 110.44 | 900.05 | 0.04 | 0.038 |
| Hiqqer2019_2 | 22820.2 | 877.7 | 111.63 | 900.02 | 0.04 | 0.038 |
| Hiqqer2019_3 | 22816.86 | 877.57 | 112.05 | 900.05 | 0.04 | 0.038 |
| Qute_default | 3038.6 | 116.87 | 85.21 | 78.92 | 166.73 | 1 |
| Qute_opt500 | 3040.39 | 116.94 | 85.32 | 79.22 | 167.16 | 1 |
| Qute_rrs | 3039.52 | 116.9 | 85.05 | 79.2 | 167.82 | 1 |