Computing Expected Visiting Times and Stationary Distributions in Markov Chains: Fast and Accurate (Artifact)

This artifact contains the raw data of our experiments as well as scripts and benchmarks to reproduce the experiments.Furthermore, the considered version of [Storm](http://stormchecker.org) is included, which contains our implementation.

Please also consider the artifact of the conference paper available at [zenodo](https://zenodo.org/records/10438916) which has been accepted by the TACAS Artifact evaluation committee.

This artifact contains: `LICENSE`: The license document.`README.md`: The instructions.`raw_data.zip`: The raw data obtained during our experiments`raw_data_with_results.zip`: The raw data, also including the resulting stationary distributions and evts in an explicit format. (84 GB!)`reproduce.zip` contains benchmarks and scripts for reproducing the experiments`storm-0b1cae2a94f06984f3cf4cecf5a5090e9bc71a56.zip` is the exact Storm version we considered.