Magma ocean thickness for models with different surface temperature contrasts. The squares show the thickness for models where vertical heat transport is only enhanced if the temperature gradient inside the magma ocean is super-adiabatic. The circles show the depth for models where heat transport is always enhanced inside the magma ocean. The magma ocean thickness was determined at 4.6 Gyr (or at the end of run if the model did not reach that time).