QBF Solver Evaluation Portal
qbflib.orgFamily wmiforward results for solvers
Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Caqe-bloqqer-qdo | 908.02 | 90.8 | 269.74 | 0.28 | 0.88 | 0.9 |
| Caqe-hqspre | 3605.65 | 360.57 | 440.45 | 2.83 | 900 | 0.6 |
| caqe-pre | 1807.69 | 180.77 | 220.25 | 2.84 | 449.95 | 1 |
| depqbf_prefix_opt_qdo | 9000 | 900 | 0 | 900 | 0 | 0 |
| depqbf_pre_QxQBH | 200.61 | 20.06 | 59.11 | 0 | 1.02 | 1 |
| GhostQ___cegar_pcnf_2019 | 8.98 | 0.9 | 1.72 | 0.27 | 0.71 | 1 |
| GhostQ___plain_pcnf_2019 | 6447.5 | 644.75 | 390.26 | 900 | 832.92 | 0.3 |
| iprover_bloqqer_schedule | 661.72 | 66.17 | 197.23 | 0.3 | 1.06 | 1 |
| iprover_bloqqer_single | 903.82 | 90.38 | 269.87 | 0.3 | 0.99 | 0.9 |
| nanoqbf_bloqqer | 903.63 | 90.36 | 269.88 | 0.36 | 0.94 | 0.9 |
| nanoqbf_hqspre | 5571.01 | 557.1 | 421.28 | 900 | 883.97 | 0.4 |
| Qute_default | 3600 | 360 | 440.91 | 0 | 900 | 0.6 |
| Qute_opt500 | 10.42 | 1.04 | 2.15 | 0 | 0.9 | 0.1 |
| Qute_rrs | 3600.41 | 360.04 | 440.87 | 0.12 | 900 | 0.6 |
| Rareqs_2018 | 1.72 | 0.17 | 0.52 | 0 | 0 | 1 |