QBF Solver Evaluation Portal
qbflib.orgFamily LinearBitvectorRankingFunction results for solvers
Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Caqe-bloqqer-qdo | 6014.89 | 546.81 | 403.03 | 900 | 871.69 | 0.455 |
| Caqe-hqspre | 2930.1 | 266.37 | 390.14 | 12.72 | 150.99 | 0.727 |
| caqe-pre | 2930.52 | 266.41 | 390.14 | 12.77 | 151.56 | 0.727 |
| depqbf_prefix_opt_qdo | 9025.92 | 820.54 | 251.28 | 900 | 0 | 0.091 |
| depqbf_pre_QxQBH | 8151.75 | 741.07 | 337.15 | 900 | 870.29 | 0.182 |
| GhostQ___cegar_pcnf_2019 | 5152.55 | 468.41 | 400.29 | 308.52 | 862.89 | 0.545 |
| GhostQ___plain_pcnf_2019 | 7409.79 | 673.62 | 370.12 | 900 | 842.24 | 0.273 |
| iprover_bloqqer_schedule | 6841.65 | 621.97 | 368.84 | 900 | 784.76 | 0.364 |
| iprover_bloqqer_single | 6841.79 | 621.98 | 368.83 | 900 | 784.91 | 0.364 |
| nanoqbf_bloqqer | 7262.92 | 660.27 | 391.62 | 900 | 889.98 | 0.273 |
| nanoqbf_hqspre | 6379.04 | 579.91 | 423.47 | 900 | 888.11 | 0.364 |
| Qute_default | 6627.5 | 602.5 | 395.18 | 900 | 837.67 | 0.364 |
| Qute_opt500 | 381.04 | 34.64 | 24.18 | 34.28 | 43.84 | 0 |
| Qute_rrs | 7581.71 | 689.25 | 347.12 | 900 | 725.1 | 0.273 |
| Rareqs_2018 | 6484.51 | 589.5 | 413.51 | 900 | 899.38 | 0.364 |