QBF Solver Evaluation Portal
qbflib.orgFamily LinearBitvectorRankingFunction 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 | 9614.79 | 640.99 | 379.02 | 900.03 | 862.2 | 0.333 |
| Caqe-hqspre | 6529.17 | 435.28 | 436.14 | 151.86 | 891.89 | 0.533 |
| caqe-pre | 6529.33 | 435.29 | 436.12 | 152.21 | 891.87 | 0.533 |
| depqbf_prefix_opt_qdo | 12626.34 | 841.76 | 218.13 | 900.05 | 0.06 | 0.067 |
| depqbf_pre_QxQBH | 11751.64 | 783.44 | 297.28 | 900.02 | 0.06 | 0.133 |
| GhostQ___cegar_pcnf_2019 | 8750.77 | 583.38 | 392.52 | 900.02 | 842.61 | 0.4 |
| GhostQ___plain_pcnf_2019 | 11015.3 | 734.35 | 331.79 | 900.02 | 777.03 | 0.2 |
| Hiqqer2019_1 | 12898.68 | 859.91 | 150.11 | 900.03 | 0.04 | 0.067 |
| Hiqqer2019_2 | 13042.36 | 869.49 | 114.2 | 900.03 | 0.06 | 0.067 |
| Hiqqer2019_3 | 12893.6 | 859.57 | 151.41 | 900.03 | 0.03 | 0.067 |
| Qute_default | 10223.58 | 681.57 | 363.57 | 900.02 | 819.71 | 0.267 |
| Qute_opt500 | 526.35 | 35.09 | 20.47 | 34.83 | 40.21 | 0 |
| Qute_rrs | 11179.97 | 745.33 | 311.84 | 900.04 | 699.64 | 0.2 |