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