#!/bin/csh -f
foreach i ( ch-1*.pl )
	echo $i
	time ./$i
end