QBF Solver Evaluation Portal
qbflib.orgSuite Tentrup results for solvers
Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Caqe-bloqqer-qdo | 12994.17 | 341.95 | 389.57 | 118.48 | 793.48 | 0.737 |
| Caqe-hqspre | 12835.84 | 337.79 | 410.96 | 44.21 | 898.64 | 0.711 |
| caqe-pre | 8279.09 | 217.87 | 266.96 | 44.19 | 449 | 0.947 |
| depqbf_prefix_opt_qdo | 33475.73 | 880.94 | 115.94 | 900 | 0 | 0.026 |
| depqbf_pre_QxQBH | 7320.57 | 192.65 | 305.68 | 5.25 | 255.13 | 0.868 |
| GhostQ___cegar_pcnf_2019 | 32307.82 | 850.21 | 175.91 | 900 | 0 | 0.079 |
| GhostQ___plain_pcnf_2019 | 33411.58 | 879.25 | 126.2 | 900 | 0 | 0.026 |
| iprover_bloqqer_schedule | 19625.82 | 516.47 | 437 | 897.27 | 896.84 | 0.474 |
| iprover_bloqqer_single | 18636.91 | 490.45 | 439.3 | 900 | 896.8 | 0.474 |
| nanoqbf_bloqqer | 17882.54 | 470.59 | 435.23 | 637.23 | 897.93 | 0.5 |
| nanoqbf_hqspre | 19872.24 | 522.95 | 442.17 | 900 | 897.34 | 0.421 |
| Qute_default | 22128.45 | 582.33 | 419 | 900 | 895.84 | 0.368 |
| Qute_opt500 | 2131.43 | 56.09 | 118.02 | 3.76 | 8.74 | 0.211 |
| Qute_rrs | 19763.41 | 520.09 | 426.57 | 900 | 895.87 | 0.447 |
| Rareqs_2018 | 5598.99 | 147.34 | 300.66 | 2.04 | 47.38 | 0.868 |