Model:   Modelica.StateGraph.Examples.ControlledTanks
Time:    0.184 s
Success: true