  The authors have uploaded their artifact on Zenodo, which ensures a long-term
retention of the artifact. The code is suitably documented, and some examples
are given. A minimalistic overall description of the engine is provided. The
artifact allows to setup the environment quite quickly, and the dependencies
are well documented. The process to regenerate data for the figures in the
paper completes, and all results are reproducible.
  This paper can thus receive the Artifacts Available badge and the Artifacts
Evaluated-Functional. Given the high quality of the artifact, also the
Artifacts Evaluated-Reusable badge can be assigned.
