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

