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