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