Model:   Modelica.Electrical.Digital.Examples.FullAdder
Time:    0.213 s
Success: true