#! /bin/sh
himml -c abbrvplot.ml
mv abbrvplot.mlx aplot
chmod +x aplot

EXT=h1
PLOT=abbrv.$EXT.plot
echo >$PLOT
echo "set grid" >>$PLOT
echo "set style fill pattern" >>$PLOT
echo "set data style boxes" >>$PLOT
echo "set logscale x 2" >>$PLOT
echo "set nologscale y" >>$PLOT
echo "set yrange [0:]" >>$PLOT
CATS=`(cd tptp; ls)`
CMD=
PASTFILES=
PLOTS=
for i in $CATS
do
  ./aplot tptp/$i/*.bench.$EXT >tptp/$i/abbrv.$EXT
  PASTFILES="$PASTFILES tptp/$i/*.bench.$EXT"
  ./aplot $PASTFILES >tptp/$i/cumul_abbrv.$EXT
  PLOTS="\"tptp/$i/cumul_abbrv.$EXT\" using (\$1==0?0.3:\$1):2 title \"$i\"$CMD$PLOTS"
  CMD=", "
done
echo -n "plot $PLOTS" >>$PLOT
echo >>$PLOT