#!/bin/bash
rm -rf monotonicity.txt
echo "--- ZEROCONF ---"
./storm/build/bin/storm-pars --prism ./models/zeroconf.pm --prop ./models/zeroconf.pctl --constants "n=6400" --monotonicity-analysis --bisimulation
./storm/build/bin/storm-pars --prism ./models/zeroconf.pm --prop ./models/zeroconf.pctl --constants "n=25600" --monotonicity-analysis --bisimulation
./storm/build/bin/storm-pars --prism ./models/zeroconf.pm --prop ./models/zeroconf.pctl --constants "n=102400" --monotonicity-analysis --bisimulation
mv monotonicity.txt monotonicity-zeroconf.txt

