FILES=`(cd tptp; find . -name '*.h1.p' -print)`
TOOCOARSE=""
for i in $FILES
do
  BENCHFILE=tptp/${i%.h1.p}.bench.h1-monadic-proxy
  H1FILE=tptp/${i%.h1.p}.bench.h1
  if grep -q Killed $BENCHFILE
  then
    echo "--- $i: Killed"
  elif grep -q NoMem $BENCHFILE
  then
    echo "--- $i: NoMem"
  elif grep -q 'Derived:' $BENCHFILE
  then
    if grep -q Derived $H1FILE
    then
      echo -n
    elif grep -q Killed $H1FILE
    then
      echo "+++ $i: h1 does not know (Killed)"
    elif grep -q NoMem $H1FILE
    then
      echo "+++ $i: h1 does not know (NoMem)"
    else
      echo "*** $i: too coarse"
      TOOCOARSE="$TOOCOARSE $i"
    fi
  fi
done