QBF Solver Evaluation Portal
qbflib.orgSuite Ayari results for solvers
Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Caqe-bloqqer-qdo | 4072.74 | 407.27 | 408.23 | 191.74 | 877.84 | 0.6 |
| Caqe-hqspre | 1833.7 | 183.37 | 269.59 | 64.32 | 130.39 | 0.9 |
| caqe-pre | 1838.46 | 183.85 | 269.67 | 64.05 | 129.08 | 0.9 |
| depqbf_prefix_opt_qdo | 9000 | 900 | 0 | 900 | 0 | 0 |
| depqbf_pre_QxQBH | 9000 | 900 | 0 | 900 | 0 | 0 |
| GhostQ___cegar_pcnf_2019 | 7382.84 | 738.28 | 323.66 | 900 | 781.43 | 0.2 |
| GhostQ___plain_pcnf_2019 | 7378.04 | 737.8 | 324.6 | 900 | 784.86 | 0.2 |
| iprover_bloqqer_schedule | 7310.82 | 731.08 | 338.06 | 900 | 817.33 | 0.2 |
| iprover_bloqqer_single | 7310.84 | 731.08 | 338.05 | 900 | 817.35 | 0.2 |
| nanoqbf_bloqqer | 6633.12 | 663.31 | 364.26 | 900 | 795.34 | 0.3 |
| nanoqbf_hqspre | 7364.06 | 736.41 | 284.57 | 900 | 481.04 | 0.3 |
| Qute_default | 5848.17 | 584.82 | 389.87 | 900 | 847.69 | 0.4 |
| Qute_opt500 | 455.04 | 45.5 | 72.42 | 5.71 | 6.02 | 0 |
| Qute_rrs | 5833.29 | 583.33 | 391.38 | 900 | 848.47 | 0.4 |
| Rareqs_2018 | 4910.93 | 491.09 | 417.94 | 611.11 | 898.33 | 0.5 |