Model:   Modelica.Electrical.Digital.Examples.Adder4
Time:    0.305 s
Success: true