Jesús Morán, Antonia Bertolino, Claudio de la Riva, Javier Tuya: Supplemental material for: Automatic Debugging of Design Faults in MapReduce applications. Zenodo 2023