Files produced by Reproducibility check.