Étienne André, Dylan Marinho, Laure Petrucci, Jaco van de Pol: Data for paper "Efficient Convex Zone Merging in Parametric Timed Automata". Zenodo 2022