Model:   Modelica.Electrical.Spice3.Examples.Nand
Time:    0.455 s
Success: true