Scalable Analysis of Real-Time Requirements (artifact)

This artifact allows you to re-run the experiments detailed in Section  *VII. EVALUATION AND APPLICATION* of the RE 2019 paper "Scalable Analysis of Real-Time Requirements".
It will produce a log file that contains the columns from Table 1 and Table 2.
It contains all the requirement files and the binaries of all the tools used in our experiments.