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