depending from the version of Prode Properties you may select different models for solid fugacity,
the base version includes the SSM (Simplified Solid Model) model for solid fugacity,
SSM gives reasonable estimates with hydrocarbons, for example I have verified CO2 solid formation with GPSA tables and values are very close.
Similar behaviour with H2S ad hydrocarbons.
With presence of very non-ideal fluids as water you should validate the results or use different models (you may contact Prode for information)