QBF Solver Evaluation Portal
qbflib.orgSuite Kontchakov results for solvers
Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Caqe-bloqqer-qdo | 2267.19 | 226.72 | 148.86 | 200.5 | 140.27 | 1 |
| Caqe-hqspre | 377.19 | 37.72 | 28.08 | 25.66 | 26.12 | 1 |
| caqe-pre | 377.64 | 37.76 | 28.1 | 25.73 | 26.05 | 1 |
| depqbf_prefix_opt_qdo | 590.92 | 59.09 | 56.27 | 47.39 | 73.64 | 1 |
| depqbf_pre_QxQBH | 3888.19 | 388.82 | 374.82 | 115.24 | 595.85 | 0.7 |
| GhostQ___cegar_pcnf_2019 | 6338.53 | 633.85 | 406.56 | 900 | 883.49 | 0.3 |
| GhostQ___plain_pcnf_2019 | 9000 | 900 | 0 | 900 | 0 | 0 |
| iprover_bloqqer_schedule | 9000 | 900 | 0 | 900 | 0 | 0 |
| iprover_bloqqer_single | 9000 | 900 | 0 | 900 | 0 | 0 |
| nanoqbf_bloqqer | 7929.08 | 792.91 | 179.43 | 900 | 382.87 | 0 |
| nanoqbf_hqspre | 6395.93 | 639.59 | 320.57 | 900 | 684.59 | 0 |
| Qute_default | 6457.87 | 645.79 | 389.1 | 900 | 868.38 | 0.3 |
| Qute_opt500 | 115.11 | 11.51 | 10.2 | 7.46 | 8.78 | 0 |
| Qute_rrs | 5921.03 | 592.1 | 363.85 | 844.07 | 831.07 | 0.5 |
| Rareqs_2018 | 9000 | 900 | 0 | 900 | 0 | 0 |