#!/bin/bash
echo "--- BRP ---"
./storm/build/bin/storm-pars --prism ./models/brp.pm --prop ./models/brp.pctl --constants "MAX=2,N=16" 
./storm/build/bin/storm-pars --prism ./models/brp.pm --prop ./models/brp.pctl --constants "MAX=10,N=2048" 
./storm/build/bin/storm-pars --prism ./models/brp.pm --prop ./models/brp.pctl --constants "MAX=15,N=4096" 

echo "--- CROWDS ---"
./storm/build/bin/storm-pars --prism ./models/crowds.pm --prop ./models/crowds.pctl --constants "CrowdSize=5,TotalRuns=6" 
./storm/build/bin/storm-pars --prism ./models/crowds.pm --prop ./models/crowds.pctl --constants "CrowdSize=10,TotalRuns=6" 
./storm/build/bin/storm-pars --prism ./models/crowds.pm --prop ./models/crowds.pctl --constants "CrowdSize=20,TotalRuns=6"

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" 

echo "--- MESSAGE AUTHENTICATION ---"
./storm/build/bin/storm-pars --prism ./models/messageAuthentication.pm --prop ./models/messageAuthentication.pctl --constants "N=3840" 
./storm/build/bin/storm-pars --prism ./models/messageAuthentication.pm --prop ./models/messageAuthentication.pctl --constants "N=7680" 
./storm/build/bin/storm-pars --prism ./models/messageAuthentication.pm --prop ./models/messageAuthentication.pctl --constants "N=15360" 

echo "--- ZEROCONF ---"
./storm/build/bin/storm-pars --prism ./models/zeroconf.pm --prop ./models/zeroconf.pctl --constants "n=6400" 
./storm/build/bin/storm-pars --prism ./models/zeroconf.pm --prop ./models/zeroconf.pctl --constants "n=25600"
./storm/build/bin/storm-pars --prism ./models/zeroconf.pm --prop ./models/zeroconf.pctl --constants "n=102400" 

