To stop the execution, simply click on the red button in the Logical Steps Decider view (or in the Gemoc Engines view).