mario stops because of time-bound for computations. this time-bound has been put in comments