  The authors have uploaded their artifact to Zenodo, which ensures a long-term
retention of the artifact. The artifact allows to re-run the experiments very
smoothly, and the dependencies are well documented. The process to regenerate
data for the figures and tables in the paper completes, and all results are
reproducible.
  This paper can thus receive the Artifacts Available badge. The software in
the artifact runs correctly with no trouble, and is relevant to the paper, thus
deserving the Artifacts Evaluated -- Functional badge. Given the successful
reproduction of all figures and tables, the Results Reproduced badge can be
assigned.
