Storm participated in the first edition of the Comparison of Tools for the Analysis of Quantitative Formal Models (QComp 2019) as part of the TACAS TOOLympics.

Details about the competition, the participating tools and benchmark set can be found on the competition website. Detailed results are available in the interactive results table.