> [ 0.000000] (maestro@) Configuration change: Set 'model-check/sleep-set' to 'true'
> [ 0.000000] (maestro@) Starting the simulation.
> starting two helpers...
> [ 0.000000] (maestro@) Configuration change: Set 'model-check/sleep-set' to 'true'
> [ 0.000000] (maestro@) Starting the simulation.
> starting two helpers...