Storm successfully participated in the second edition of the Comparison of Tools for the Analysis of Quantitative Formal Models (QComp 2020). The competition report is available here.
Storm participated in two modes: with the new automatic engine selection and with static engine selection.
Result summary for the ε-correct track:
Result summary for the often ε-correct track: