QBF Solver Evaluation Portal
qbflib.orgFamily ITC99 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 | 6337.42 | 633.74 | 406.88 | 900.05 | 897.39 | 0.3 |
| Caqe-hqspre | 3678.79 | 367.88 | 434.85 | 36.3 | 899.07 | 0.6 |
| caqe-pre | 3679.71 | 367.97 | 434.77 | 36.82 | 899.07 | 0.6 |
| depqbf_prefix_opt_qdo | 2721.46 | 272.15 | 411.06 | 2.41 | 16.39 | 0.7 |
| depqbf_pre_QxQBH | 2028.93 | 202.89 | 350.05 | 25.49 | 80.28 | 0.8 |
| GhostQ___cegar_pcnf_2019 | 2601.51 | 260.15 | 373.53 | 26.87 | 55.58 | 0.8 |
| GhostQ___plain_pcnf_2019 | 2387.2 | 238.72 | 355.32 | 21.75 | 70.96 | 0.8 |
| Hiqqer2019_1 | 6312.25 | 631.23 | 410.32 | 899.66 | 899.17 | 0.3 |
| Hiqqer2019_2 | 6131.75 | 613.18 | 402.36 | 899.87 | 899.36 | 0.4 |
| Hiqqer2019_3 | 6311.58 | 631.16 | 410.47 | 899.87 | 899.38 | 0.3 |
| Qute_default | 4515.76 | 451.58 | 448.45 | 454.95 | 898.93 | 0.5 |
| Qute_opt500 | 201.35 | 20.14 | 25.85 | 9.36 | 16.19 | 0.5 |
| Qute_rrs | 4516.01 | 451.6 | 448.44 | 455.05 | 898.87 | 0.5 |