#! /bin/sh
#NO_EQ=`grep -l ' 0 equa' *.p`
#FILES=`grep -l ' 0 non-Horn' $NO_EQ`
FILES=`ls tptp/*/*.p | grep -v .h1.p`
H1FILES=
for i in $FILES
do
  if h1 -check-h1 2 -no-resolve -no-model -no-progress -no-log $i 2>/dev/null
  then H1FILES="$H1FILES $i"
  fi
done
echo $H1FILES