#!/bin/bash
rm -rf monotonicity.txt
echo "--- GAMBLER ---"
./storm/build/bin/storm-pars --prism ./models/gambler.pm --prop ./models/gambler.pctl --constants "N=14800,W=1480" --monotonicity-analysis --bisimulation
./storm/build/bin/storm-pars --prism ./models/gambler.pm --prop ./models/gambler.pctl --constants "N=29600,W=2960" --monotonicity-analysis --bisimulation
./storm/build/bin/storm-pars --prism ./models/gambler.pm --prop ./models/gambler.pctl --constants "N=59200,W=5920" --monotonicity-analysis --bisimulation
mv monotonicity.txt monotonicity-gambler.txt

