EDVAC ran until 1961 when it was replaced by BRLESC; over its lifetime it had proved to be highly reliable and productive.
EDVAC ran until 1961. It was replaced by BRLESC. It had proved to be highly reliable and productive. This was over its lifetime.