QBF Solver Evaluation Portal
qbflib.orgSuite Kronegger-Pfandler-Pichler results for solvers
Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Caqe-bloqqer-qdo | 11110.47 | 555.52 | 423.75 | 900 | 894.01 | 0.4 |
| Caqe-hqspre | 2781.5 | 139.08 | 272.8 | 21.22 | 35.59 | 0.9 |
| caqe-pre | 2158.63 | 107.93 | 189.81 | 21.15 | 35.53 | 1 |
| depqbf_prefix_opt_qdo | 6646.89 | 332.34 | 386.7 | 110.92 | 873.56 | 0.75 |
| depqbf_pre_QxQBH | 663.24 | 33.16 | 27.2 | 25.92 | 47.7 | 1 |
| GhostQ___cegar_pcnf_2019 | 11339.67 | 566.98 | 412.39 | 900 | 875.69 | 0.4 |
| GhostQ___plain_pcnf_2019 | 11291.72 | 564.59 | 414.48 | 900 | 876.73 | 0.4 |
| iprover_bloqqer_schedule | 12023.87 | 601.19 | 385.16 | 900 | 819.43 | 0.4 |
| iprover_bloqqer_single | 12285.38 | 614.27 | 384.46 | 900 | 818.72 | 0.4 |
| nanoqbf_bloqqer | 10984.83 | 549.24 | 425.28 | 900 | 894.66 | 0.45 |
| nanoqbf_hqspre | 2990.77 | 149.54 | 268.84 | 26.68 | 120.18 | 0.9 |
| Qute_default | 626.29 | 31.31 | 37.43 | 20.62 | 42.89 | 1 |
| Qute_opt500 | 625.97 | 31.3 | 37.41 | 20.57 | 42.97 | 1 |
| Qute_rrs | 625.92 | 31.3 | 37.44 | 20.55 | 43.11 | 1 |
| Rareqs_2018 | 9310.62 | 465.53 | 436.07 | 519.47 | 898.91 | 0.5 |