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.