4 TODO=Unsatisfiable/[A-Z]*.ma
13 LOGNAME=logs/log.`basename $X`
14 ../../matitac.opt $X > $LOGNAME 2>&1
15 RATING=`grep "Rating" $X | sed 's/v.*//' | sed 's/(\*//'`
16 if [ `grep "Found a proof" $LOGNAME | wc -l` -gt 0 ]; then
17 TIME=`grep "TIME NEEDED" $LOGNAME`