]> matita.cs.unibo.it Git - helm.git/blob - matita/matita/tests/TPTP/classify.sh
mod change (-x)
[helm.git] / matita / 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