Gluon and ghost propagators, obtained in Landau gauge from lattice simulations with two light two heavy dynamical quark flavors (N f ¼ 2 þ 1 þ 1), are described here with a running formula including a four-loop perturbative expression and a nonperturbative operator product expansion correction dominated by the local operator A 2 . The Wilson coefficients and their variation as a function of the coupling constant are extracted from the numerical data and compared with the theoretical expressions that, after being properly renormalized, are known at Oð 4 Þ. As à MS is also rather well known for N f ¼ 2 þ 1 þ 1, this allows for a precise consistency test of the operator product expansion approach in the joint description of different observables.