QBF Solver Evaluation Portal
qbflib.orgSuite Miller-Marin results for solvers
Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Caqe-bloqqer-qdo | 4336.39 | 144.55 | 296.65 | 26.46 | 25.46 | 0.867 |
| Caqe-hqspre | 2372.41 | 79.08 | 170.12 | 3.78 | 5.02 | 1 |
| caqe-pre | 2250.34 | 75.01 | 159.3 | 3.77 | 4.89 | 1 |
| depqbf_prefix_opt_qdo | 13951.44 | 465.05 | 437.21 | 581.05 | 887.32 | 0.5 |
| depqbf_pre_QxQBH | 2161.93 | 72.06 | 153.58 | 16.09 | 78.57 | 1 |
| GhostQ___cegar_pcnf_2019 | 5409.19 | 180.31 | 245.52 | 28.56 | 297.72 | 0.867 |
| GhostQ___plain_pcnf_2019 | 18550.12 | 618.34 | 338.13 | 796.71 | 591.52 | 0.367 |
| iprover_bloqqer_schedule | 6710.32 | 223.68 | 311.75 | 96.6 | 138.02 | 0.833 |
| iprover_bloqqer_single | 6267.28 | 208.91 | 291.84 | 97.42 | 115.77 | 0.867 |
| nanoqbf_bloqqer | 2015.35 | 67.18 | 119.67 | 19.53 | 10.1 | 1 |
| nanoqbf_hqspre | 2952.34 | 98.41 | 220.58 | 4.96 | 3.64 | 0.967 |
| Qute_default | 7686.9 | 256.23 | 370.09 | 5.37 | 501.52 | 0.8 |
| Qute_opt500 | 1977.06 | 65.9 | 146.6 | 5.35 | 11.29 | 0.6 |
| Qute_rrs | 8182.59 | 272.75 | 391.3 | 5.27 | 407.53 | 0.733 |
| Rareqs_2018 | 493.87 | 16.46 | 52.03 | 1.67 | 0.82 | 1 |