Schematic of the 1D thermal evolution model used in this work. |$Q_{\rm R}$| is the radiated flux, |$Q_{\rm MO}$| is the heat flux from the magma ocean, |$Q_{\rm MS}$| is the heat flux from the magma mush, |$Q_{\rm S}$| is the flux from solid rock, and |$Q_{\rm c}$| is the flux from the core. |$Q_{\rm H}$| is the heat removed from the day-side and added to the night-side when we include horizontal heat transport. |$Q_{\rm T}$| is the tidal heating when tidal dissipation is included in the model. The light blue line is the geotherm of the mantle while the line ‘L’ (dark blue line) is the mantle liquidus and ‘S’ (green line) is the mantle solidus. The pressure increases in the downward direction while the temperature increases to the right.