Model:   Modelica.Electrical.Digital.Examples.MUX2x1
Time:    0.238 s
Success: true