This artifact comprises of a docker image, which contains the source code of our tool and the benchmarks discussed in the paper. We provide instructions that run our tool on a single benchmark and on the entire benchmark suite. We also provide instructions that replicate the statistics shown in Table 1 and Table 2 of our paper.
https://zenodo.org/record/7876586#.ZEwBrOzMJhE DOI: 10.5281/zenodo.7876586
ff31b6ae18f51541b5a2d0774709953b56e5d405876d4df76b08eb608598523d