Benchmark Data for The Revised Practitioner's Guide to MDP Model Checking Algorithms

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