QBF Solver Evaluation Portal
qbflib.orgSuite Wintersteiger results for solvers
Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Caqe-bloqqer-qdo | 25198.15 | 335.98 | 426.24 | 12.33 | 897.43 | 0.64 |
| Caqe-hqspre | 14850.43 | 198.01 | 347.85 | 10.13 | 89.65 | 0.8 |
| caqe-pre | 15146.58 | 201.95 | 353.96 | 10.09 | 87.36 | 0.787 |
| depqbf_prefix_opt_qdo | 65725.92 | 876.35 | 142.92 | 900 | 0 | 0.027 |
| depqbf_pre_QxQBH | 24240.15 | 323.2 | 402.44 | 22.04 | 898.7 | 0.693 |
| GhostQ___cegar_pcnf_2019 | 12303.52 | 164.05 | 325.42 | 10.86 | 27.17 | 0.813 |
| GhostQ___plain_pcnf_2019 | 15779.01 | 210.39 | 351.84 | 11.08 | 114.41 | 0.773 |
| iprover_bloqqer_schedule | 27774.68 | 370.33 | 424.52 | 15.24 | 897.31 | 0.587 |
| iprover_bloqqer_single | 29346.29 | 391.28 | 435.09 | 19.59 | 897.31 | 0.573 |
| nanoqbf_bloqqer | 37933.93 | 505.79 | 444.77 | 900 | 897.91 | 0.44 |
| nanoqbf_hqspre | 17717.29 | 236.23 | 372.08 | 14.04 | 275.42 | 0.773 |
| Qute_default | 19175.07 | 255.67 | 381.95 | 13.67 | 471.92 | 0.747 |
| Qute_opt500 | 5040.08 | 67.2 | 123.06 | 8.93 | 50.26 | 0.427 |
| Qute_rrs | 20984.02 | 279.79 | 393.02 | 13.53 | 898.48 | 0.733 |
| Rareqs_2018 | 32914.99 | 438.87 | 444.19 | 183.15 | 900 | 0.52 |