Source material to obtain the figures from the article entitled : Conditions for segregation of a crystal-rich layer within a convective magma ocean (JGR Planets 2023). The data that support the findings of this study were obtained using the commercial software COMSOL Multiphysics (version 5.4). COMSOL Multiphysics® is a simulation platform that provides fully coupled multiphysics and single-physics modelling capabilities. COMSOL Multiphysics (version 5.4) has been previously validated for two phase flow applications (Qaddah et al, 2019, Qaddah et al., 2020). To compute our simulations we used the Heat Transfer (www.comsol.com/heat-transfer-module) and Computational Flow Dynamics (www.comsol.com/cfd-module) modules in addition to the main Multiphysics platform (www.comsol.com/comsol-multiphysics). All the parameters used in our simulation are listed and described in the manuscript. The open source software used for data visualisation was Xmgrace (https://plasma-gate.weizmann.ac.il/Grace/). The software used for this study is the commercial software COMSOL Multiphysics (version 5.4) previously validated for two phase flow applications (Qaddah et al., 2019, Qaddah et al., 2020). User manual can be downloaded here: https://doc.comsol.com/5.4/doc/com.comsol.help.cfd/CFDModuleUsersGuide.pdf. A trial version of COMSOL Multiphysics may be requested (see www.comsol.com). More details can be found on the following COMSOL webpages: - On the Foundations of the General Heat Transfer Equation: https://doc.comsol.com/6.1/docserver/#!/com.comsol.help.heat/heat_ug_theory.07.002.html - Theory for Heat Transfer in Fluids : https://doc.comsol.com/6.1/docserver/#!/com.comsol.help.heat/heat_ug_theory.07.008.html - The Euler–Euler Model Equations and in particular how incompressibility is handled: https://doc.comsol.com/6.1/docserver/#!/com.comsol.help.cfd/cfd_ug_fluidflow_multi.09.153.html - The Boussinesq Approximation: https://doc.comsol.com/6.1/docserver/#!/com.comsol.help.cfd/cfd_ug_fluidflow_noniso.07.20.html