committed the base utils for TPTP processing

[helm.git] / helm / software / matita / tests / TPTP / classify.sh

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