it has stopped raining是什么时态

　　We'll start at 5 p. m. if it has stopped raining by then.

　　我们五点钟动身，如果那时雨停了话。

　　We'll start at nine if it has stopped raining by that time.

　　到那时要是雨停了，我们将在9点钟出发。

　　We'll start at three o 'clock if it has stopped raining by then.

　　我们将在三点钟动身，如果那时雨停了的话。