helm/software/matita/tests/TPTP/classify.sh

   1 #!/bin/bash
   2
   3 mkdir Open
   4 mkdir Unknown
   5 mkdir Satisfiable
   6 mkdir Unsatisfiable
   7
   8 for X in [A-Z]*.ma; do
   9   echo $X
  10   STATUS=`grep "^(\* *Status *:" $X`
  11   if [ `echo $STATUS | grep Open | wc -l` -eq 1 ]; then
  12     mv $X Open/
  13   fi
  14   if [ `echo $STATUS | grep Unknown | wc -l` -eq 1 ]; then
  15     mv $X Unknown/
  16   fi
  17   if [ `echo $STATUS | grep Satisfiable | wc -l` -eq 1 ]; then
  18     mv $X Satisfiable/
  19   fi
  20   if [ `echo $STATUS | grep Unsatisfiable | wc -l` -eq 1 ]; then
  21     mv $X Unsatisfiable/
  22   fi
  23 done