#!/bin/bash

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