Results of coverage test described in Sect. 4.4, comparing the input values (true values) to the inferred ones for each parameter by taking random points in the posterior distribution chains. The point density was smoothed using a Gaussian kernel-density estimator and indicated by the color code, with the median of the points indicated by a dashed red line, and the 1:1 line in black.