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.