Least-squares estimates are trustworthy with minimal variance if the correct stochastic model is used. Due to computational burden, diagonal models that neglect correlations are preferred to describe the elevation dependency of the variance of GPS observations. In this contribution, an improved stochastic model based on a parametric function to take correlations between GPS phase observations into account is presented. Built on an adapted and flexible Matern function accounting for spatiotemporal variabilities, its parameters can be fixed thanks to Maximum Likelihood Estimation or chosen apriori to model turbulent tropospheric refractivity fluctuations. In this contribution, we will show in which cases and under which conditions corresponding fully populated variance covariance matrices (VCM) replace the estimation of a tropospheric parameter. For this equivalence "augmented functional versus augmented stochastic model" to hold, the VCM should be made sufficiently largewhich corresponds to computing small batches of observations. A case study with observations from a medium baseline of 80 km divided into batches of 600 s shows improvement of up to 100 mm for the 3Drms when fully populated VCM are used compared with an elevation dependent diagonal model. It con firms the strong potential of such matrices to improve the least-squares solution, particularly when ambiguities are let float.