QBF Solver Evaluation Portal
qbflib.orgSuite Katz results for solvers
Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Caqe-bloqqer-qdo | 6659.85 | 665.99 | 358.37 | 900 | 747.21 | 0.3 |
| Caqe-hqspre | 7279.19 | 727.92 | 344.62 | 900 | 820.81 | 0.2 |
| caqe-pre | 7040.99 | 704.1 | 336.14 | 900 | 820.59 | 0.4 |
| depqbf_prefix_opt_qdo | 5226.55 | 522.66 | 410.58 | 750.73 | 882.77 | 0.5 |
| depqbf_pre_QxQBH | 5720.2 | 572.02 | 401.95 | 900 | 836.91 | 0.4 |
| GhostQ___cegar_pcnf_2019 | 6902.88 | 690.29 | 329.65 | 900 | 604.7 | 0.3 |
| GhostQ___plain_pcnf_2019 | 6367.8 | 636.78 | 402.17 | 900 | 866.57 | 0.3 |
| iprover_bloqqer_schedule | 8191.62 | 819.16 | 242.51 | 900 | 0 | 0.1 |
| iprover_bloqqer_single | 9000 | 900 | 0 | 900 | 0 | 0 |
| nanoqbf_bloqqer | 8138.88 | 813.89 | 236.85 | 900 | 66.99 | 0.2 |
| nanoqbf_hqspre | 9000 | 900 | 0 | 900 | 0 | 0 |
| Qute_default | 5520.56 | 552.06 | 426.66 | 900 | 892.04 | 0.4 |
| Qute_opt500 | 48.43 | 4.84 | 7.76 | 0 | 0 | 0 |
| Qute_rrs | 6302.02 | 630.2 | 412.12 | 900 | 899.25 | 0.3 |
| Rareqs_2018 | 7225.11 | 722.51 | 300.61 | 900 | 553.65 | 0.3 |