matita/tests/TPTP/classify.sh

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