Model:   Modelica.Electrical.Digital.Examples.Counter
Time:    0.186 s
Success: true