Before revision:   The code is available on GitHub (Trimborn et al. 2018b ), such that all results can be reproduced by the reader.
After revision:  This can be efficiently performed by the SABCEMM tool thanks to its object-oriented software design. The code is available on GitHub (Trimborn et al. 2018b ), such that all results can be reproduced by the reader.