What is the Best Algorithm for MDP Model Checking? Replication Package

This artefact allows to review and replicate the experiments from the paper What is the Best Algorithm for MDP Model Checking?. The package contains all original logfiles and the scripts that extract the relevant data from those logs to generate the plots as in the paper. Furthermore, the artefact contains the exercised version of the model checking tool `Storm` with its dependencies and convenient installation scripts as well as all benchmark instances. The user can thus replicate all experiments from the paper. An appropriate subset of the experiments is given to allow a review in a timely manner. In addition, single experiments can be handpicked for replication. This is a mild adaptation of the artefact for the paper "A Practitioner's Guide to MDP Model Checking Algorithms by Hartmanns et al. (TACAS'23)".