Flowchart of the numerical experiment. The three models are shown in red, the outputs are indicated in green-blue, and the parameters are presented in black. There are two main sets of simulations from the GCM SPARC/MIT, with and without thermal inversion. This is indicated with the orange and the blue arrows, respectively. The final output consists of five sets of posterior distributions.