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