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.