Model:  Modelica.Electrical.Digital.Examples.Counter3
Time:    1.126 s
Success: true