“…All the programmes we have selected but one are typical case studies used in some other work in the literature [6], [5], [18], [4], [19], [7]; namely, we had access to the source codes of triangle1, atof and remainder, which take integer parameters, and triangle2, which is the continuous parameters version of triangle1. In order to expand the comparison with realvalued domains, we added sncndn to the benchmark, which is a numerical calculus function extracted from [30].…”