The bus left at 9 o’clock and we arrived just after that. (when)

When we arrived, the bus left.

When we arrived, the bus has left.

When we arrived, the bus leaves.

When we arrive, the bus left.