Model:   Modelica.Blocks.Examples.BooleanNetwork1
Time:    0.301 s
Success: true