We would like to apply for the following badges: Functional: We have provided snapshots of our implementation that lead to the results presented in the paper. Available: Because we make the artifact openly available under an open-source license.