#!/bin/bash
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" 
