QBF Solver Evaluation Portal
qbflib.orgFamily driver results for solvers
Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Caqe-bloqqer-qdo | 913.05 | 152.18 | 334.45 | 2 | 2.18 | 0.833 |
| Caqe-hqspre | 5.28 | 0.88 | 0.96 | 0.54 | 1.07 | 1 |
| caqe-pre | 5.28 | 0.88 | 0.96 | 0.54 | 1.07 | 1 |
| depqbf_prefix_opt_qdo | 5400 | 900 | 0 | 900 | 0 | 0 |
| depqbf_pre_QxQBH | 8.74 | 1.46 | 1.4 | 1.16 | 1.8 | 1 |
| GhostQ___cegar_pcnf_2019 | 5400 | 900 | 0 | 900 | 0 | 0 |
| GhostQ___plain_pcnf_2019 | 5400 | 900 | 0 | 900 | 0 | 0 |
| iprover_bloqqer_schedule | 12.45 | 2.08 | 1.19 | 2.04 | 2.13 | 1 |
| iprover_bloqqer_single | 12.43 | 2.07 | 1.2 | 2 | 2.07 | 1 |
| nanoqbf_bloqqer | 9.27 | 1.55 | 0.81 | 1.49 | 1.35 | 1 |
| nanoqbf_hqspre | 11.23 | 1.87 | 1.85 | 1.24 | 1.57 | 1 |
| Qute_default | 8.49 | 1.42 | 1.59 | 0.81 | 1.61 | 1 |
| Qute_opt500 | 8.31 | 1.39 | 1.54 | 0.8 | 1.6 | 0.667 |
| Qute_rrs | 8.34 | 1.39 | 1.54 | 0.84 | 1.68 | 1 |
| Rareqs_2018 | 0 | 0 | 0 | 0 | 0 | 1 |