On this page you can find the additional material provided for our KimFest'17 submission. Please do not distribute.
Results, and the used
instance generator and scripts.
To rerun the experiments generate the necessary profeat and prism binaries and take a look at the scripts in the parallel directory in the generator.tar.gz archive.