Model:   Modelica.StateGraph.Examples.ExecutionPaths
Time:    0.161 s
Success: true