diff --git a/test/logFiles/.log.swp b/test/logFiles/.log.swp
deleted file mode 100644
index 4741e023..00000000
Binary files a/test/logFiles/.log.swp and /dev/null differ
diff --git a/test/logFiles/log b/test/logFiles/log
deleted file mode 100644
index 72e1f029..00000000
--- a/test/logFiles/log
+++ /dev/null
@@ -1,34 +0,0 @@
-FC:\{java.lang.Object=Elem: Node(java.lang.Object)
-Prec: [java.lang.Object]
-Desc: [java.lang.Object, Tph]
-
-, Tph=Elem: Node(Tph)
-Prec: [java.lang.Object]
-Desc: []
-
-}
-class Tph {
-
-  TPH K m(TPH L a, TPH M b)({
-    TPH N c;
-    (c)::TPH N = ((this)::TPH O.m2((b)::TPH M))::TPH P;
-    return (a)::TPH L;
-  })::TPH Q
-
-  TPH R m2(TPH S b)({
-    return (b)::TPH S;
-  })::TPH T
-
-  Tph()({
-    super(());
-  })::TPH W
-
-}0 AA: []
-1 Unifikation: [(L <. K, 1, -1), (R =. P, -1, -1), (O =. Tph, 0), (S <. R, 1, -1), (O <. Tph, 0), (P <. N, -1, -1), (M <. S, 1, 1)]
-nextSet: [[(O =. Tph, 0)], [(O =. ? extends Tph, 0)]]
-1 AA: []
-2 Unifikation: [(L <. K, 1, -1), (R =. P, -1, -1), (S <. P, 1, -1), (O =. Tph, 0), (P <. N, -1, -1), (M <. S, 1, 1)]
-[(L <. K, 1, -1), (R =. P, -1, -1), (S <. P, 1, -1), (O =. Tph, 0), (P <. N, -1, -1), (M <. S, 1, 1)]
-Result1 [[(L <. K, 1, -1), (R =. P, -1, -1), (S <. P, 1, -1), (O =. Tph, 0), (P <. N, -1, -1), (M <. S, 1, 1)]]
-Result1 [[(L <. K, 1, -1), (R =. P, -1, -1), (S <. P, 1, -1), (O =. Tph, 0), (P <. N, -1, -1), (M <. S, 1, 1)]]
-RES: [[(L <. K, 1, -1), (R =. P, -1, -1), (S <. P, 1, -1), (O =. Tph, 0), (P <. N, -1, -1), (M <. S, 1, 1)]]