QBF Solver Evaluation Portal
qbflib.orgSuite Basler results for solvers
Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Caqe-bloqqer-qdo | 13030.09 | 434.34 | 436.57 | 110.82 | 899.12 | 0.533 |
| Caqe-hqspre | 12630.73 | 421.02 | 448.05 | 8.43 | 900 | 0.533 |
| caqe-pre | 10832.7 | 361.09 | 408.27 | 8.46 | 900 | 0.667 |
| depqbf_prefix_opt_qdo | 22545.74 | 751.52 | 304.69 | 900 | 0 | 0.2 |
| depqbf_pre_QxQBH | 1728.19 | 57.61 | 82.86 | 21.3 | 43.64 | 1 |
| GhostQ___cegar_pcnf_2019 | 2326.22 | 77.54 | 163.29 | 5.13 | 109.39 | 0.967 |
| GhostQ___plain_pcnf_2019 | 15607.77 | 520.26 | 434.96 | 900 | 895.38 | 0.433 |
| iprover_bloqqer_schedule | 18659.54 | 621.98 | 409.18 | 900 | 898.94 | 0.333 |
| iprover_bloqqer_single | 18903.82 | 630.13 | 412.24 | 900 | 899.01 | 0.3 |
| nanoqbf_bloqqer | 18903.63 | 630.12 | 412.25 | 900 | 899.06 | 0.3 |
| nanoqbf_hqspre | 15491.65 | 516.39 | 439.27 | 900 | 896.61 | 0.433 |
| Qute_default | 12628.12 | 420.94 | 448.13 | 7.58 | 899.48 | 0.533 |
| Qute_opt500 | 134.41 | 4.48 | 4.84 | 2.47 | 8.58 | 0.033 |
| Qute_rrs | 12622.61 | 420.75 | 448.3 | 5.91 | 899.9 | 0.533 |
| Rareqs_2018 | 16365.88 | 545.53 | 434.6 | 900 | 900 | 0.4 |