FILES=`(cd tptp; find . -name '*.h1.p' -print)`
TOOCOARSE=""
for i in $FILES
do
  BENCHFILE=tptp/${i%.h1.p}.bench.h1
  DFGFILE=dfg/${i%.h1.p}.dfg
  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 Satisfiable $DFGFILE
    then
      echo "*** $i: too coarse"
      TOOCOARSE="$TOOCOARSE $i"
    elif grep -q Unknown $DFGFILE
    then
      echo "+++ $i: SPASS does not know"
    fi
  fi
done