QBF Solver Evaluation Portal
qbflib.orgFamily ltl2aig-comp results for solvers
Prenex CNF Track
| Solver | Total time | Mean time | Std time | Median time | IQ range time | Solved/Total |
|---|---|---|---|---|---|---|
| Caqe-bloqqer-qdo | 981.17 | 327.06 | 405.75 | 68.09 | 55.01 | 0.667 |
| Caqe-hqspre | 1257.13 | 419.04 | 367.26 | 348.37 | 339.61 | 0.667 |
| caqe-pre | 822.96 | 274.32 | 193.68 | 349.85 | 341.31 | 1 |
| depqbf_prefix_opt_qdo | 2700 | 900 | 0 | 900 | 0 | 0 |
| depqbf_pre_QxQBH | 442.28 | 147.43 | 192.92 | 13.63 | 5.22 | 1 |
| GhostQ___cegar_pcnf_2019 | 1847.9 | 615.97 | 401.68 | 900 | 852.1 | 0.333 |
| GhostQ___plain_pcnf_2019 | 2700 | 900 | 0 | 900 | 0 | 0 |
| iprover_bloqqer_schedule | 2584.69 | 861.56 | 54.36 | 900 | 115.31 | 0.333 |
| iprover_bloqqer_single | 2320.89 | 773.63 | 178.71 | 900 | 379.11 | 0.333 |
| nanoqbf_bloqqer | 983.02 | 327.67 | 405.52 | 73.17 | 63.32 | 0.667 |
| nanoqbf_hqspre | 944.65 | 314.88 | 413.97 | 39.38 | 34.11 | 0.667 |
| Qute_default | 1806.68 | 602.23 | 421.12 | 900 | 893.32 | 0.333 |
| Qute_opt500 | 443.08 | 147.69 | 201.4 | 6.69 | 2.81 | 0.333 |
| Qute_rrs | 1806.59 | 602.2 | 421.16 | 900 | 893.41 | 0.333 |
| Rareqs_2018 | 42.61 | 14.2 | 11.87 | 10.59 | 8.78 | 1 |