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