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:


Further results for all tracks can be found in the competition report and the detailed result tables on the QComp 2020 website.