#!/bin/bash

../../bin/prism islip{.prism,.props} -prop 1 -multirounding -multimaxciter 500 -baselineaccuracy 200 -increasefactor 1.01 -paretoepsilon 0.001 -logcpareto -gs -exportstrat islip.strat 2>&1 1> islip.log &