QBF Solver Evaluation Portal
qbflib.orgFamily ltl2aig-comp results for solvers
QBFEVAL'19 - Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Caqe-bloqqer-qdo | 981 | 327 | 405.83 | 68.09 | 55.23 | 0.667 |
| Caqe-hqspre | 1269.89 | 423.3 | 366.56 | 361.16 | 352.5 | 0.667 |
| caqe-pre | 834.88 | 278.29 | 195.26 | 361.79 | 353.19 | 1 |
| depqbf_prefix_opt_qdo | 2700.09 | 900.03 | 0.01 | 900.02 | 0 | 0 |
| depqbf_pre_QxQBH | 68.96 | 22.99 | 17.15 | 13.59 | 5.27 | 1 |
| GhostQ___cegar_pcnf_2019 | 1847.72 | 615.91 | 401.8 | 900.02 | 852.34 | 0.333 |
| GhostQ___plain_pcnf_2019 | 2700.17 | 900.06 | 0.02 | 900.05 | 0.01 | 0 |
| Hiqqer2019_1 | 1806.35 | 602.12 | 420.61 | 899.53 | 892.25 | 0.333 |
| Hiqqer2019_2 | 1820.59 | 606.86 | 414.59 | 900.02 | 879.47 | 0.333 |
| Hiqqer2019_3 | 1813.99 | 604.66 | 417.56 | 899.81 | 885.66 | 0.333 |
| Qute_default | 1806.6 | 602.2 | 421.19 | 900.02 | 893.47 | 0.333 |
| Qute_opt500 | 442.83 | 147.61 | 201.36 | 6.58 | 2.7 | 0.333 |
| Qute_rrs | 1806.79 | 602.26 | 421.13 | 900.01 | 893.31 | 0.333 |