#!/bin/bash
echo "--- ZEROCONF ---"
./storm/build/bin/storm-pars --prism ./models/zeroconf.pm --prop ./models/zeroconf.pctl --constants "n=6400" 
./storm/build/bin/storm-pars --prism ./models/zeroconf.pm --prop ./models/zeroconf.pctl --constants "n=25600" 
./storm/build/bin/storm-pars --prism ./models/zeroconf.pm --prop ./models/zeroconf.pctl --constants "n=102400" 

