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