X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=matita%2Ftests%2FTPTP%2Fclassify.sh;fp=matita%2Ftests%2FTPTP%2Fclassify.sh;h=54634e741a5a90ed18b1723912fe8dc07d1ad54c;hp=0000000000000000000000000000000000000000;hb=f61af501fb4608cc4fb062a0864c774e677f0d76;hpb=58ae1809c352e71e7b5530dc41e2bfc834e1aef1

diff --git a/matita/tests/TPTP/classify.sh b/matita/tests/TPTP/classify.sh
new file mode 100755
index 000000000..54634e741
--- /dev/null
+++ b/matita/tests/TPTP/classify.sh
@@ -0,0 +1,27 @@
+#!/bin/bash
+
+mkdir -p Open
+mkdir -p Unknown
+mkdir -p Satisfiable
+mkdir -p Unsatisfiable
+
+for X in [A-Z]*.ma; do
+  echo -n classifying $X ...
+  STATUS=`grep "^(\* *Status *:" $X`
+  if [ `echo $STATUS | grep Open | wc -l` -eq 1 ]; then
+    mv $X Open/
+    echo Open
+  fi
+  if [ `echo $STATUS | grep Unknown | wc -l` -eq 1 ]; then
+    mv $X Unknown/
+    echo Unknown
+  fi
+  if [ `echo $STATUS | grep Satisfiable | wc -l` -eq 1 ]; then
+    mv $X Satisfiable/
+    echo Satisfiable
+  fi
+  if [ `echo $STATUS | grep Unsatisfiable | wc -l` -eq 1 ]; then
+    mv $X Unsatisfiable/
+    echo Unsatisfiable
+  fi
+done