QBF Solver Evaluation Portal
qbflib.orgFamily mult-matrix results for solvers
Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Caqe-bloqqer-qdo | 2675.96 | 445.99 | 380.47 | 422.01 | 620.41 | 0.667 |
| Caqe-hqspre | 1803.96 | 300.66 | 423.8 | 1.98 | 2.17 | 0.667 |
| caqe-pre | 1354.59 | 225.77 | 343.22 | 2 | 2.2 | 0.833 |
| depqbf_prefix_opt_qdo | 5400 | 900 | 0 | 900 | 0 | 0 |
| depqbf_pre_QxQBH | 914.42 | 152.4 | 334.34 | 3.23 | 3.99 | 0.833 |
| GhostQ___cegar_pcnf_2019 | 5400 | 900 | 0 | 900 | 0 | 0 |
| GhostQ___plain_pcnf_2019 | 5400 | 900 | 0 | 900 | 0 | 0 |
| iprover_bloqqer_schedule | 3505.94 | 584.32 | 401.72 | 832.72 | 889 | 0.5 |
| iprover_bloqqer_single | 2775.28 | 462.55 | 437.51 | 467.67 | 889.1 | 0.5 |
| nanoqbf_bloqqer | 3621.79 | 603.63 | 419.13 | 900 | 893.1 | 0.333 |
| nanoqbf_hqspre | 1806.94 | 301.16 | 423.45 | 2.92 | 2.79 | 0.667 |
| Qute_default | 5400 | 900 | 0 | 900 | 0 | 0 |
| Qute_opt500 | 221.24 | 36.87 | 42.12 | 11.7 | 12.67 | 0 |
| Qute_rrs | 4508.99 | 751.5 | 332.06 | 900 | 891.01 | 0.167 |
| Rareqs_2018 | 2700.54 | 450.09 | 449.91 | 450.27 | 900 | 0.5 |