We should add a timeout to the simulator to catch simulations getting stuck (which can happen with the SMA model)