QBF Solver Evaluation Portal
qbflib.orgSuite Sauer-Reimer results for solvers
Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Caqe-bloqqer-qdo | 7276.71 | 363.84 | 437.85 | 14.75 | 898.74 | 0.6 |
| Caqe-hqspre | 5491.31 | 274.57 | 409.65 | 3.19 | 899.48 | 0.7 |
| caqe-pre | 5044.42 | 252.22 | 386.51 | 3.21 | 676.97 | 0.75 |
| depqbf_prefix_opt_qdo | 4078.55 | 203.93 | 361.55 | 0.83 | 235.05 | 0.8 |
| depqbf_pre_QxQBH | 2961.25 | 148.06 | 316.92 | 3.92 | 64.21 | 0.85 |
| GhostQ___cegar_pcnf_2019 | 4713.89 | 235.69 | 362.88 | 23.05 | 417.97 | 0.8 |
| GhostQ___plain_pcnf_2019 | 4415.55 | 220.78 | 356.22 | 9.02 | 313.98 | 0.8 |
| iprover_bloqqer_schedule | 15578.7 | 778.94 | 276.08 | 900 | 0 | 0.2 |
| iprover_bloqqer_single | 5945.44 | 297.27 | 312.71 | 146.93 | 243.53 | 0.8 |
| nanoqbf_bloqqer | 7346.23 | 367.31 | 434.99 | 22.66 | 893.54 | 0.6 |
| nanoqbf_hqspre | 2807.77 | 140.39 | 319.35 | 2.87 | 7.98 | 0.85 |
| Qute_default | 6327.89 | 316.39 | 428.25 | 3.23 | 899.37 | 0.65 |
| Qute_opt500 | 436.71 | 21.84 | 49.77 | 2.58 | 13.02 | 0.65 |
| Qute_rrs | 6328.3 | 316.42 | 428.24 | 3.23 | 899.41 | 0.65 |
| Rareqs_2018 | 7228.91 | 361.45 | 439.74 | 3.58 | 899.29 | 0.6 |