titles=$(awk '{print $1}' 150/result)
+delays=$(seq 125 160)
+
+for i in $delays; do
+ make -s -C $i
+done
for t in $titles; do
exec > $t.dat
- for i in $(seq 125 5 170); do
+ for i in $delays; do
echo "$i $(awk "/$t/ { print \$3, \$6 }" $i/result)"
done
done