Run the tests!

test.sh

for z in *.zip; do
	d=`basename $z .zip`
	mkdir $d && unzip $z -d $d
	if [ -d "$d/src" ]; then
		cp ../_s1/* $d/src/
		if [ -f "$d/src/makefile" ]; then
			rm $d/src/makefile
		fi
		cd $d/src/
	   	make
		if [ -f "AGTS1.out" ]; then
			timeout 10 ./AGTS1.out
			{ basename $(dirname `pwd`); echo "---------------------"; cat report; } >> ../../result.txt
		fi
		cd ../../
	fi
done