#!/bin/bash
echo "--- MESSAGE AUTHENTICATION ---"
./storm/build/bin/storm-pars --prism ./models/messageAuthentication.pm --prop ./models/messageAuthentication.pctl --constants "N=3840"
./storm/build/bin/storm-pars --prism ./models/messageAuthentication.pm --prop ./models/messageAuthentication.pctl --constants "N=7680" 
./storm/build/bin/storm-pars --prism ./models/messageAuthentication.pm --prop ./models/messageAuthentication.pctl --constants "N=15360" 
