###############################
# Author : Alexandre Mouradian
# year : 2013
###############################

i=$1

if [ -e res ]
then
	rm res
fi

j=1
while [ -e testout"$j".xml ]
do
	echo CASE "$j" >> res
	echo >> res
	/home/alex/uppaal-4.1.11/bin-Linux/verifyta -s testout"$j".xml rtxp.q >> res
	echo >> res
	echo >> res
	mv testout"$j".xml exp"$i"
	j=$(($j+1))
done

cp res exp"$i"