@@ -62,6 +62,9 @@ The reviewer also has the option to choose a smaller or larger timeout.
Executing the script produces the `Table 1` of our paper as `results.csv` file in the folder `/tool/benchmarking/`.
The script also produces the log files of the respective tools in the folders `/tool/benchmarking/rpg-stela-logs/` and `/tool/benchmarking/muval-logs/`.
Please note that, depending on your machine and docker settings, the runtime can be expected to be different (higher/lower) than in the paper. The times in the paper were measured outside a container environment using a Debian OS computer equipped with an Intel(R) Core(TM) i5-10600T CPU @ 2.40GHz.
Furthermore, it's worth noting that the runtime of the `MuVal` tool is not very stable and can vary significantly with each execution.