Artifact for: Minimum Reachability Probabilities in Rectangular Automata with Random Clocks

This artifact supports the paper "Minimum Reachability Probabilities in Rectangular Automata with Random Clocks" submitted for SPIN 2026.

The artifact reproduces the results of 
1) the car case study from Section 5 (Table 1) and 
2) the small examples from Appendix A.8 (Table 2).

The artifacts contains a docker image that contains the realyst tool as well as necessary dependencies, scripts to recompute the results from the paper and create csv tables, as well as the original results that are used for the paper.