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