#!/bin/csh
(time goodshort0 <n100.in  >timetest0.out)  >times0
(time goodshort0 <n200.in >>timetest0.out)  >>times0 
(time goodshort0 <n400.in >>timetest0.out)  >>times0 
(time goodshort0 <n800.in >>timetest0.out)  >>times0 
(time goodshort0 <n1000.in >>timetest0.out)  >>times0 
(time goodshort0 <n1200.in >>timetest0.out)  >>times0 
(time goodshort0 <n1400.in >>timetest0.out)  >>times0 
sed 's/u/ /' < times0 | awk '{print $1}' >times0.user