CAV'16 ARTIFACT, containing benchmarks and scripts for the experimental evaluation of the paper
The artifact was not evaluated positively by the CAV'16 Artifact Evaluation Committee (CAVAEC).
We sustain that we carried out a high quality experimental
comparison, that should be easy for anyone to reproduce,
and that fully reflects the results reported in the paper.
Do not hesitate to get in touch if you have questions and/or feedback.
The Virtual Machine used for evaluating the artifact is available here.