true multiphase gas + liquid + solid , phase equilibria in Prode Properties

do you have experience simulating hydrocarbons + ice / solid formation with the multiphase solver included in Prode Properties ?
I have tested Prode Properties for gas-solid equilibria (i.e. CO2 solidification) with good results,
as I understand Prode Properties includes multiphase since first editions (1996) but I have little experience with solid option.

yes,
I have utilize PRODE PROPERTIES for multiphase with solids.
if you are going to calculate freezing points for water-alcohols such as ethanol C2H6O or methanol CH3OH
you need to regress SLE with specific data,
PRODE includes a data regression procedure for VLE-LLE-SLE data points.
when water forms a separate phase (say three phase separators) errors are not that high,
if you have water + chemicals the same as above (you may need to regress data),
a limit is that the BIPs provided with the software are for VLE and for
non-ideal mixtures (as those discussed above) you should do data regression.

I agree with acar,
if you plan to utilize Prode Properties multiphase flash operations with solid models
you should do data regression for best results,
differently you get the equilibrium values based on VLE BIPs

by the way if you plan to use PRODE PROEPRTIES for (solid) hydrates
there are specific macros (for EXCEL) to graph the temperature (vs. pressure)
or pressure (vs. temperature) of formation, these methods
(macros in Excel are =HTFORM() and =HPFORM())
do not require data regression...