+
+title="ISAM-$t `date`"
+
+cat >plot.dem <<ENDOFMESSAGE
+set output "times-$t.ps"
+set terminal postscript
+set title "$title"
+set xlabel "runs"
+set ylabel "seconds"
+plot [0:] [0:] \
+ 'times-$t.log' using 2 title 'real' with linespoints, \
+ 'times-$t.log' using 3 title 'user' with linespoints, \
+ 'times-$t.log' using 4 title 'sys' with linespoints
+ENDOFMESSAGE
+
+gnuplot plot.dem
+
+