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