#!/bin/bash
rm -rf monotonicity.txt
echo "--- CROWDS ---"
./storm/build/bin/storm-pars --prism ./models/crowds.pm --prop ./models/crowds.pctl --constants "CrowdSize=5,TotalRuns=6" --monotonicity-analysis --bisimulation --mon-elim-scc
./storm/build/bin/storm-pars --prism ./models/crowds.pm --prop ./models/crowds.pctl --constants "CrowdSize=10,TotalRuns=6" --monotonicity-analysis --bisimulation --mon-elim-scc
./storm/build/bin/storm-pars --prism ./models/crowds.pm --prop ./models/crowds.pctl --constants "CrowdSize=20,TotalRuns=6" --monotonicity-analysis --bisimulation --mon-elim-scc
mv monotonicity.txt monotonicity-crowds.txt

