QBF Solver Evaluation Portal
qbflib.orgFamily bomb results for solvers
Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Caqe-bloqqer-qdo | 2110.47 | 211.05 | 349.01 | 6 | 143.8 | 0.8 |
| Caqe-hqspre | 2512.19 | 251.22 | 351.58 | 2.3 | 336.42 | 0.8 |
| caqe-pre | 1889.69 | 188.97 | 242.58 | 2.32 | 325.6 | 1 |
| depqbf_prefix_opt_qdo | 79.83 | 7.98 | 13.38 | 0.64 | 7.09 | 1 |
| depqbf_pre_QxQBH | 315.79 | 31.58 | 35.98 | 3.79 | 67.1 | 1 |
| GhostQ___cegar_pcnf_2019 | 2339.67 | 233.97 | 343.98 | 24.32 | 200.3 | 0.8 |
| GhostQ___plain_pcnf_2019 | 2291.72 | 229.17 | 344.35 | 23.28 | 185.1 | 0.8 |
| iprover_bloqqer_schedule | 3023.87 | 302.39 | 343.71 | 80.57 | 455.09 | 0.8 |
| iprover_bloqqer_single | 3285.38 | 328.54 | 363.77 | 81.28 | 598.87 | 0.8 |
| nanoqbf_bloqqer | 1984.83 | 198.48 | 340.1 | 5.34 | 106.11 | 0.9 |
| nanoqbf_hqspre | 2754.41 | 275.44 | 335.79 | 132.84 | 322.82 | 0.8 |
| Qute_default | 318.66 | 31.87 | 51.33 | 2.84 | 18.54 | 1 |
| Qute_opt500 | 318.27 | 31.83 | 51.29 | 2.83 | 18.35 | 1 |
| Qute_rrs | 318.46 | 31.85 | 51.33 | 2.84 | 18.45 | 1 |
| Rareqs_2018 | 310.62 | 31.06 | 52.74 | 1.1 | 18.35 | 1 |