QBF Solver Evaluation Portal
qbflib.orgSuite Biere results for solvers
Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Caqe-bloqqer-qdo | 16208.69 | 810.43 | 268.7 | 900 | 0 | 0.1 |
| Caqe-hqspre | 4899.64 | 244.98 | 381.6 | 14.98 | 567.12 | 0.75 |
| caqe-pre | 4901.51 | 245.08 | 381.6 | 14.95 | 568.05 | 0.75 |
| depqbf_prefix_opt_qdo | 13522.46 | 676.12 | 387.78 | 900 | 441.36 | 0.25 |
| depqbf_pre_QxQBH | 8680.43 | 434.02 | 411.38 | 334.85 | 891.11 | 0.6 |
| GhostQ___cegar_pcnf_2019 | 4551.88 | 227.59 | 388.22 | 3.31 | 452.75 | 0.75 |
| GhostQ___plain_pcnf_2019 | 2231.23 | 111.56 | 268.49 | 3 | 10.68 | 0.9 |
| iprover_bloqqer_schedule | 16212.2 | 810.61 | 268.17 | 900 | 0 | 0.1 |
| iprover_bloqqer_single | 15676.93 | 783.85 | 284.15 | 900 | 0 | 0.15 |
| nanoqbf_bloqqer | 15486.62 | 774.33 | 300.82 | 900 | 0 | 0.15 |
| nanoqbf_hqspre | 8344.67 | 417.23 | 410.17 | 260.01 | 888.11 | 0.6 |
| Qute_default | 11716.54 | 585.83 | 428.15 | 900 | 898.25 | 0.35 |
| Qute_opt500 | 200.83 | 10.04 | 11.08 | 5.95 | 13.58 | 0.25 |
| Qute_rrs | 11000.18 | 550.01 | 430.39 | 900 | 898.33 | 0.4 |
| Rareqs_2018 | 16200 | 810 | 270 | 900 | 0 | 0.1 |