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

