The results obtained with PHREEQC and Reaktoro are generally equivalent, which is essentially due to the analogous implementation with respect to the used database and the thermodynamic models for describing the aqueous and gaseous phase. Yet, with phreeqc.dat, some inconsistencies have been observed between the two software programs; while neither PHREEQC nor Reaktoro predict particularly well the solubility of methane in Na2CO3 solutions, Reaktoro outperforms PHREEQC at predicting the solubility of methane in MgSO4 solutions (see Figure panels, e and g, respectively).