- ../../matitac.opt -nodb $X | gzip -9 > $LOGNAME 2>&1
- RATING=`grep "Rating" $X | sed 's/v.*//' | sed 's/(\*//'`
+ if [ $prover = 'y' ]; then
+ $MATITAPROVER -tptppath $TPTPPATH $X > $LOGNAME 2>&1
+ else
+ $MATITAC -nodb $X > $LOGNAME 2>&1
+ fi
+ if [ $prover = 'y' ]; then
+ BASE=`echo $X | cut -c 1-3`
+ RATING=`grep "Rating" $TPTPPATH/Problems/$BASE/$X | sed 's/v.*//' | sed 's/%//'`
+ else
+ RATING=`grep "Rating" $X | sed 's/v.*//' | sed 's/(\*//'`
+ fi