El océano de magma se formó aproximadamente 70 millones de años después de la formación del sistema solar, y la mayor parte del océano estaba cristalizándose unos 215 millones de años después (Brandon, 2007).