QBF Solver Evaluation Portal
qbflib.orgSuite Pan results for solvers
Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Caqe-bloqqer-qdo | 5486.34 | 274.32 | 391.84 | 27.02 | 800.8 | 0.75 |
| Caqe-hqspre | 6104.76 | 305.24 | 358.66 | 169.07 | 607.58 | 0.75 |
| caqe-pre | 5935.97 | 296.8 | 348.73 | 157.55 | 538.69 | 0.8 |
| depqbf_prefix_opt_qdo | 9113.73 | 455.69 | 444.58 | 486.29 | 899.13 | 0.5 |
| depqbf_pre_QxQBH | 5877.38 | 293.87 | 357.22 | 163.16 | 544.27 | 0.75 |
| GhostQ___cegar_pcnf_2019 | 15220.5 | 761.03 | 290.19 | 900 | 44.19 | 0.25 |
| GhostQ___plain_pcnf_2019 | 15499.22 | 774.96 | 280.37 | 900 | 0 | 0.2 |
| iprover_bloqqer_schedule | 9109.84 | 455.49 | 444.53 | 461.39 | 890.73 | 0.5 |
| iprover_bloqqer_single | 9102.76 | 455.14 | 444.88 | 461.22 | 891.49 | 0.5 |
| nanoqbf_bloqqer | 10866.75 | 543.34 | 410.19 | 900 | 881.88 | 0.45 |
| nanoqbf_hqspre | 12748.72 | 637.44 | 401.98 | 900 | 829.79 | 0.3 |
| Qute_default | 7664.24 | 383.21 | 394.73 | 207.37 | 886.41 | 0.65 |
| Qute_opt500 | 2512.53 | 125.63 | 153.33 | 51 | 201.77 | 0.6 |
| Qute_rrs | 7226.46 | 361.32 | 374.08 | 231.6 | 874.38 | 0.75 |
| Rareqs_2018 | 11377.97 | 568.9 | 417.08 | 900 | 882.35 | 0.4 |