Benchmark data for the revised practitioner's guide to MDP model checking algorithms Hartmanns, Arnd Junges, Sebastian Quatmann, Tim Weininger, Maximilian ; https://orcid.org/0000-0002-0163-2152 ddc:000 This artifact allows to review and reproduce the experiments from the paper *A Revised Practitioner's Guide to MDP Model Checking Algorithms*. The package contains all original logfiles and derived data used to generate the plots as in the paper. Furthermore, the artifact contains the model checking tools `Storm` and `mcsta` in the version exercised in the paper, the used Docker container, as well as benchmark instances and execution scripts to reproduce the experiments. See also the artifact of the conference paper: https://zenodo.org/records/7509474 Zenodo 2025 info:eu-repo/semantics/other doc-type:other text http://purl.org/coar/resource_type/c_ddb1 https://research-explorer.ista.ac.at/record/21668 Hartmanns A, Junges S, Quatmann T, Weininger M. Benchmark data for the revised practitioner’s guide to MDP model checking algorithms. 2025. doi:<a href="https://doi.org/10.5281/ZENODO.14500423">10.5281/ZENODO.14500423</a> info:eu-repo/semantics/altIdentifier/doi/10.5281/ZENODO.14500423 info:eu-repo/semantics/openAccess