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