Add the possibility to limit the time for the state space computation.