1# I/O files 2 3DIR="$2" 4IN="$DIR/atp_in" 5OUT1="$DIR/out1" 6OUT2="$DIR/out2" 7OUT="$DIR/out" 8STATUS="$DIR/status" 9ERROR="$DIR/error" 10ERROR1="$DIR/error1" 11 12# Running eprover 13timeout $1 ./eprover -s --cpu-limit=$1 --auto-schedule --tptp3-in \ 14-R --print-statistics -p --tstp-format $IN 2> $ERROR | grep "file[(]'\|# SZS" > $OUT1 2> $ERROR1 15# Extracting status 16grep "SZS status" $OUT1 > $STATUS 2> $ERROR 17sed -i -e 's/^.*SZS status\(.*\).*/\1/' $STATUS 2> $ERROR 18sed -i 's/ //g' $STATUS 2> $ERROR 19# Extracting axioms 20grep "^fof[(].*file(.*,\(.*\)[)][)]" $OUT1 > $OUT2 2> $ERROR 21sed -e 's/^fof[(].*file(.*,\(.*\)[)][)]\..*$/\1/' $OUT2 > $OUT1 2> $ERROR 22tr -d " " < $OUT1 > $OUT 2> $ERROR 23# Cleaning 24rm -f $OUT1 25rm -f $OUT2 26