15/8/2017:

1.Syncing up

15/8/2017:
1.Syncing up
169968bb · SPARSA ROYCHOWDHURY · 65141973 · 169968bb · 169968bb · 169968bb
Commit 169968bb authored Aug 15, 2017 by SPARSA ROYCHOWDHURY
35 changed files
--- a/main.cpp
+++ b/main.cpp
@@ -103,9 +103,10 @@ int main(int argc, char *argv[]) {
 	}
 	
 	else // general TPDA with one or more clocks
-	{	//b = isEmptyGCPP();
-            b=isEmptyZone();
-            //b1=isEmptyGCPP();
+	{
+            //b = isEmptyGCPP();
+            //b=isEmptyZone();
+           b=isEmptyGCPP();
        }
        
        

--- a/memcheck.sh
+++ b/memcheck.sh
+#!/bin/bash
+FILES=./input/
+f = tp2_0
+# # # # # # do
+#     echo "Processing $f File.. "
+valgrind --tool=memcheck --leak-check=yes --show-reachable=yes --num-callers=20 --track-fds=yes  ./tree $FILES$f
+
--- a/output/pd1.txt
+++ b/output/pd1.txt
@@ -53,8 +53,24 @@ Abstract state of the on the fly tree automata(TA):


 	Push done at L : 0
-The language recognized by the TPDA is EMPTY!

+Abstract state of the on the fly tree automata(TA):
+	Points in the automaton:
+		1----2
+		L : 1
+	Transitions:	0	7	
+	Accuracy: 	    0	    
+	TSM : 		0	1	
+
+
+	Push done at L : 0
+	Pop done at R : 1
+
+A run of the automation as a witness for the language to be non-empty.
+The run given as a sequence of pairs (Transition, Time stamp) : 
+(0, 0.0), (1, 0.0), (2, 0.0), (3, 1.0), (4, 2.0), (5, 2.0), (6, 2.0), (7, 3.0), 
+
+Wrong
 #stacks : 1
 #clocks : 0
 #states : 8
@@ -64,5 +80,5 @@ Tree-Width(K) : 2

 ---END OF EXECUTION---

-Execution time : 0.000392 seconds.
+Execution time : 0.000281 seconds.

--- a/output/rep1.txt
+++ b/output/rep1.txt
@@ -95,10 +95,10 @@ Abstract state of the on the fly tree automata(TA):
 	Transitions:	-40	1	3	4	
 	Weight Matrix : 
 	
-			0,0	16384,0	0,0	0,0	
-			0,0	0,0	14157,0	256,0	
-			-14916,1	0,0	0,0	0,0	
-			-344,0	0,0	-1,0	0,0	
+			0,0	3,0	0,0	0,0	
+			0,0	0,0	29354,0	0,0	
+			-256,0	0,0	0,0	0,0	
+			-26835,1	-3,0	-1,0	0,0	


 	Push done at L : 0
@@ -129,12 +129,11 @@ Abstract state of the on the fly tree automata(TA):
 			0,0	0,0	0,0	0,0	
 			0,0	0,0	0,0	0,0	
 			0,0	0,0	0,0	0,0	
-			-344,0	-344,0	-1,0	0,0	
+			-26835,1	-26835,1	-1,0	0,0	


 	Push done at L : 0
-The language recognized by the TPDA is EMPTY!
-
+Correct!
 #stacks : 1
 #clocks : 2
 #states : 5
@@ -144,5 +143,5 @@ Tree-Width(K) : 8

 ---END OF EXECUTION---

-Execution time : 0.000447 seconds.
+Execution time : 0.00325 seconds.

--- a/output/rep2.txt
+++ b/output/rep2.txt
@@ -24,8 +24,24 @@ Abstract state of the on the fly tree automata(TA):


 	Push done at L : 0
-The language recognized by the TPDA is NOT EMPTY!

+Abstract state of the on the fly tree automata(TA):
+	Points in the automaton:
+		1----2
+		L : 1
+	Transitions:	0	9	
+	Accuracy: 	    1	    
+	TSM : 		0	1	
+
+
+	Push done at L : 0
+	Pop done at R : 0
+
+A run of the automation as a witness for the language to be non-empty.
+The run given as a sequence of pairs (Transition, Time stamp) : 
+(0, 0.0), (9, 1.0), 
+
+Correct!
 #stacks : 1
 #clocks : 2
 #states : 4
@@ -35,5 +51,5 @@ Tree-Width(K) : 8

 ---END OF EXECUTION---

-Execution time : 0.00019 seconds.
+Execution time : 0.000191 seconds.

--- a/output/sample.txt
+++ b/output/sample.txt
@@ -24,8 +24,24 @@ Abstract state of the on the fly tree automata(TA):


 	Push done at L : 0
-The language recognized by the TPDA is NOT EMPTY!

+Abstract state of the on the fly tree automata(TA):
+	Points in the automaton:
+		1----2----3
+		L : 1
+	Transitions:	0	4	2	
+	Accuracy: 	    0	    1	    
+	TSM : 		0	0	0	
+
+
+	Push done at L : 0
+	Pop done at R : 1
+
+A run of the automation as a witness for the language to be non-empty.
+The run given as a sequence of pairs (Transition, Time stamp) : 
+(0, 0.0), (1, 2.0), (3, 2.0), (4, 4.0), (2, 4.0), 
+
+Correct!
 #stacks : 1
 #clocks : 2
 #states : 4
@@ -35,5 +51,5 @@ Tree-Width(K) : 8

 ---END OF EXECUTION---

-Execution time : 0.000162 seconds.
+Execution time : 0.000218 seconds.

--- a/output/t1.txt
+++ b/output/t1.txt
@@ -69,8 +69,7 @@ Abstract state of the on the fly tree automata(TA):


 	Push done at L : 0
-The language recognized by the TPDA is EMPTY!
-
+Correct!
 #stacks : 0
 #clocks : 2
 #states : 6
@@ -80,5 +79,5 @@ Tree-Width(K) : 3

 ---END OF EXECUTION---

-Execution time : 0.0004 seconds.
+Execution time : 0.000234 seconds.

--- a/output/t10.txt
+++ b/output/t10.txt
@@ -54,8 +54,7 @@ Abstract state of the on the fly tree automata(TA):


 	Push done at L : 0
-The language recognized by the TPDA is EMPTY!
-
+Correct!
 #stacks : 0
 #clocks : 3
 #states : 6
@@ -65,5 +64,5 @@ Tree-Width(K) : 4

 ---END OF EXECUTION---

-Execution time : 0.000213 seconds.
+Execution time : 0.000203 seconds.

--- a/output/t11.txt
+++ b/output/t11.txt
@@ -248,8 +248,7 @@ Abstract state of the on the fly tree automata(TA):


 	Push done at L : 0
-The language recognized by the TPDA is EMPTY!
-
+Correct!
 #stacks : 0
 #clocks : 4
 #states : 7
@@ -259,5 +258,5 @@ Tree-Width(K) : 5

 ---END OF EXECUTION---

-Execution time : 0.000435 seconds.
+Execution time : 0.000645 seconds.

--- a/output/t13.txt
+++ b/output/t13.txt
@@ -54,8 +54,7 @@ Abstract state of the on the fly tree automata(TA):


 	Push done at L : 0
-The language recognized by the TPDA is EMPTY!
-
+Correct!
 #stacks : 0
 #clocks : 3
 #states : 6
@@ -65,5 +64,5 @@ Tree-Width(K) : 4

 ---END OF EXECUTION---

-Execution time : 0.000151 seconds.
+Execution time : 0.000223 seconds.

--- a/output/t8.txt
+++ b/output/t8.txt
@@ -40,8 +40,7 @@ Abstract state of the on the fly tree automata(TA):


 	Push done at L : 0
-The language recognized by the TPDA is EMPTY!
-
+Correct!
 #stacks : 0
 #clocks : 2
 #states : 4
@@ -51,5 +50,5 @@ Tree-Width(K) : 3

 ---END OF EXECUTION---

-Execution time : 0.000153 seconds.
+Execution time : 0.000173 seconds.

--- a/output/tp2_0.txt
+++ b/output/tp2_0.txt
@@ -80,9 +80,9 @@ Abstract state of the on the fly tree automata(TA):
 	Weight Matrix : 
 	
 			0,0	770,0	0,0	0,0	
-			0,0	0,0	0,0	4294914358,1	
-			-41,0	0,0	0,0	4294914358,1	
-			-12598,1	0,0	0,0	0,0	
+			0,0	0,0	0,0	30576,0	
+			0,0	0,0	0,0	0,0	
+			-30576,0	0,0	0,0	0,0	


 	Push done at L : 0
@@ -95,11 +95,11 @@ Abstract state of the on the fly tree automata(TA):
 	Transitions:	-40	-40	2	3	4	
 	Weight Matrix : 
 	
-			0,0	0,0	0,0	0,0	41,0	
-			0,0	0,0	4294918368,1	0,0	1,0	
-			-32694,0	0,0	0,0	0,0	0,0	
-			0,0	-49,0	0,0	0,0	30567,0	
-			-12598,1	0,0	-1,0	0,0	0,0	
+			0,0	0,0	0,0	0,0	192,0	
+			0,0	0,0	0,0	4294922816,1	1,0	
+			-20736,1	0,0	0,0	0,0	0,0	
+			-2886,0	0,0	0,0	0,0	4294922880,1	
+			-30576,0	0,0	-19160,0	0,0	0,0	


 	Push done at L : 0
@@ -112,10 +112,10 @@ Abstract state of the on the fly tree automata(TA):
 	Transitions:	0	-40	2	3	4	
 	Weight Matrix : 
 	
-			0,0	4294922313,1	30567,0	0,0	0,0	
-			-30567,0	0,0	0,0	0,0	33,0	
-			-259,0	0,0	0,0	0,0	33,0	
-			0,0	0,0	0,0	0,0	0,0	
+			0,0	4294922313,1	4294922880,1	0,0	0,0	
+			-2886,0	0,0	16384,0	1,0	33,0	
+			-18945,0	0,0	0,0	0,0	4294920224,1	
+			-18464,1	-32590,0	0,0	0,0	4294921312,1	
 			0,0	0,0	0,0	0,0	0,0	


@@ -147,15 +147,14 @@ Abstract state of the on the fly tree automata(TA):
 	Weight Matrix : 
 	
 			0,0	0,0	0,0	0,0	0,0	
-			0,0	0,0	0,0	30567,0	0,0	
-			0,0	0,0	0,0	0,0	4294916736,1	
-			0,0	0,0	-33,0	0,0	0,0	
+			0,0	0,0	0,0	0,0	0,0	
+			0,0	0,0	0,0	0,0	0,0	
+			0,0	0,0	0,0	0,0	0,0	
 			0,0	-4,0	0,0	0,0	0,0	


 	Push done at L : 0
-The language recognized by the TPDA is EMPTY!
-
+Correct!
 #stacks : 1
 #clocks : 2
 #states : 10
@@ -165,5 +164,5 @@ Tree-Width(K) : 8

 ---END OF EXECUTION---

-Execution time : 0.000308 seconds.
+Execution time : 33.2861 seconds.

--- a/output/tp38.txt
+++ b/output/tp38.txt
@@ -39,8 +39,7 @@ Abstract state of the on the fly tree automata(TA):


 	Push done at L : 0
-The language recognized by the TPDA is EMPTY!
-
+Correct!
 #stacks : 1
 #clocks : 1
 #states : 4
@@ -50,5 +49,5 @@ Tree-Width(K) : 5

 ---END OF EXECUTION---

-Execution time : 0.000137 seconds.
+Execution time : 0.000228 seconds.

--- a/output/tp3_0.txt
+++ b/output/tp3_0.txt
@@ -73,8 +73,7 @@ Abstract state of the on the fly tree automata(TA):


 	Push done at L : 0
-The language recognized by the TPDA is EMPTY!
-
+Correct!
 #stacks : 1
 #clocks : 3
 #states : 10
@@ -84,5 +83,5 @@ Tree-Width(K) : 11

 ---END OF EXECUTION---

-Execution time : 0.000191 seconds.
+Execution time : 50.205 seconds.

--- a/output/tp6.txt
+++ b/output/tp6.txt
@@ -48,9 +48,9 @@ Abstract state of the on the fly tree automata(TA):
 	Transitions:	-40	0	1	
 	Weight Matrix : 
 	
-			0,0	0,0	4294911952,1	
+			0,0	0,0	18384,0	
 			0,0	0,0	0,0	
-			-25573,0	-1,0	0,0	
+			-5412,0	-1,0	0,0	


 	Push done at L : 0
@@ -77,8 +77,8 @@ Abstract state of the on the fly tree automata(TA):
 	Transitions:	-40	-40	0	1	
 	Weight Matrix : 
 	
-			0,0	32680,0	0,0	25573,0	
-			0,0	0,0	1,0	0,0	
+			0,0	32581,0	0,0	5412,0	
+			0,0	0,0	0,0	4294934527,1	
 			0,0	0,0	0,0	1,0	
 			-33,0	0,0	-1,0	0,0	

@@ -93,10 +93,10 @@ Abstract state of the on the fly tree automata(TA):
 	Transitions:	-40	-40	0	1	
 	Weight Matrix : 
 	
-			0,0	0,0	0,0	253,0	
-			0,0	0,0	0,0	0,0	
-			0,0	0,0	0,0	256,0	
-			-8777,1	0,0	-1,0	0,0	
+			0,0	0,0	0,0	97,0	
+			0,0	0,0	5412,0	0,0	
+			-18432,0	0,0	0,0	0,0	
+			-20968,0	0,0	-1,0	0,0	


 	Push done at L : 0
@@ -109,15 +109,14 @@ Abstract state of the on the fly tree automata(TA):
 	Transitions:	0	-40	0	1	
 	Weight Matrix : 
 	
-			0,0	0,0	0,0	253,0	
-			0,0	0,0	0,0	253,0	
-			0,0	0,0	0,0	253,0	
-			-8777,1	-8777,1	-1,0	0,0	
+			0,0	0,0	0,0	97,0	
+			0,0	0,0	0,0	97,0	
+			0,0	0,0	0,0	97,0	
+			-20968,0	-20968,0	-1,0	0,0	


 	Push done at L : 0
-The language recognized by the TPDA is EMPTY!
-
+Correct!
 #stacks : 1
 #clocks : 2
 #states : 6
@@ -127,5 +126,5 @@ Tree-Width(K) : 8

 ---END OF EXECUTION---

-Execution time : 0.000246 seconds.
+Execution time : 0.000386 seconds.

--- a/output/tp60.txt
+++ b/output/tp60.txt
@@ -48,7 +48,7 @@ Abstract state of the on the fly tree automata(TA):
 	Transitions:	-40	0	2	
 	Weight Matrix : 
 	
-			0,0	4294914995,1	0,0	
+			0,0	4294928883,1	0,0	
 			0,0	0,0	0,0	
 			0,0	0,0	0,0	

@@ -63,8 +63,8 @@ Abstract state of the on the fly tree automata(TA):
 	Transitions:	-40	0	2	
 	Weight Matrix : 
 	
-			0,0	0,0	4294922849,1	
-			0,0	0,0	32756,0	
+			0,0	0,0	4294918447,1	
+			0,0	0,0	32626,0	
 			-33,0	0,0	0,0	


@@ -79,13 +79,29 @@ Abstract state of the on the fly tree automata(TA):
 	Weight Matrix : 
 	
 			0,0	0,0	0,0	
-			-21089,1	0,0	32756,0	
+			-16687,1	0,0	32626,0	
 			-33,0	0,0	0,0	


 	Push done at L : 0
-The language recognized by the TPDA is EMPTY!

+Abstract state of the on the fly tree automata(TA):
+	Points in the automaton:
+		1----2----3
+		L : 1
+	Transitions:	0	5	6	
+	Accuracy: 	    1	    1	    
+	TSM : 		0	0	0	
+
+
+	Push done at L : 0
+	Pop done at R : 1
+
+A run of the automation as a witness for the language to be non-empty.
+The run given as a sequence of pairs (Transition, Time stamp) : 
+(0, 0.0), (1, 0.0), (2, 0.0), (5, 0.0), (6, 0.0), 
+
+Wrong
 #stacks : 1
 #clocks : 1
 #states : 5
@@ -95,5 +111,5 @@ Tree-Width(K) : 5

 ---END OF EXECUTION---

-Execution time : 0.0002 seconds.
+Execution time : 0.000513 seconds.

--- a/output/tp62.txt
+++ b/output/tp62.txt
@@ -48,7 +48,7 @@ Abstract state of the on the fly tree automata(TA):
 	Transitions:	-40	1	
 	Weight Matrix : 
 	
-			0,0	22352,0	
+			0,0	4294907728,1	
 			0,0	0,0	


@@ -80,8 +80,24 @@ Abstract state of the on the fly tree automata(TA):


 	Push done at L : 0
-The language recognized by the TPDA is NOT EMPTY!

+Abstract state of the on the fly tree automata(TA):
+	Points in the automaton:
+		1----2----3
+		L : 1
+	Transitions:	0	1	6	
+	Accuracy: 	    1	    1	    
+	TSM : 		0	0	3	
+
+
+	Push done at L : 0
+	Pop done at R : 1
+
+A run of the automation as a witness for the language to be non-empty.
+The run given as a sequence of pairs (Transition, Time stamp) : 
+(0, 0.0), (1, 0.0), (3, 1.0), (4, 3.0), (6, 3.0), 
+
+Correct!
 #stacks : 1
 #clocks : 1
 #states : 5
@@ -91,5 +107,5 @@ Tree-Width(K) : 5

 ---END OF EXECUTION---

-Execution time : 0.000195 seconds.
+Execution time : 0.198015 seconds.

--- a/output/tp63.txt
+++ b/output/tp63.txt
@@ -24,8 +24,24 @@ Abstract state of the on the fly tree automata(TA):


 	Push done at L : 0
-The language recognized by the TPDA is NOT EMPTY!

+Abstract state of the on the fly tree automata(TA):
+	Points in the automaton:
+		1----2----3
+		L : 1
+	Transitions:	0	4	2	
+	Accuracy: 	    1	    1	    
+	TSM : 		0	4	6	
+
+
+	Push done at L : 0
+	Pop done at R : 1
+
+A run of the automation as a witness for the language to be non-empty.
+The run given as a sequence of pairs (Transition, Time stamp) : 
+(0, 0.0), (1, 0.0), (4, 1.0), (5, 1.0), (6, 1.0), (8, 2.0), (7, 2.0), (4, 2.0), (5, 2.0), (6, 2.0), (8, 3.0), (7, 3.0), (4, 3.0), (4, 4.0), (5, 4.0), (6, 4.0), (8, 5.0), (8, 5.0), (7, 5.0), (3, 5.0), (2, 6.0), 
+
+Correct!
 #stacks : 1
 #clocks : 1
 #states : 5
@@ -35,5 +51,5 @@ Tree-Width(K) : 5

 ---END OF EXECUTION---

-Execution time : 0.000121 seconds.
+Execution time : 0.155468 seconds.

--- a/output/tp64.txt
+++ b/output/tp64.txt
@@ -48,8 +48,8 @@ Abstract state of the on the fly tree automata(TA):
 	Transitions:	-40	0	2	
 	Weight Matrix : 
 	
-			0,0	20385,0	0,0	
-			0,0	0,0	0,0	
+			0,0	4294922313,1	0,0	
+			-7911,0	0,0	0,0	
 			0,0	0,0	0,0	


@@ -63,8 +63,8 @@ Abstract state of the on the fly tree automata(TA):
 	Transitions:	-40	0	2	
 	Weight Matrix : 
 	
-			0,0	7281,0	7281,0	
-			0,0	0,0	18,0	
+			0,0	4294922360,1	4294922419,1	
+			0,0	0,0	4294922419,1	
 			-33,0	0,0	0,0	


@@ -78,9 +78,9 @@ Abstract state of the on the fly tree automata(TA):
 	Transitions:	-40	-40	0	2	
 	Weight Matrix : 
 	
-			0,0	4294914572,1	7281,0	0,0	
-			0,0	0,0	0,0	18,0	
 			0,0	0,0	0,0	0,0	
+			0,0	0,0	0,0	0,0	
+			0,0	-20600,1	0,0	4294922419,1	
 			-33,0	0,0	0,0	0,0	


@@ -94,10 +94,10 @@ Abstract state of the on the fly tree automata(TA):
 	Transitions:	-40	-40	0	2	
 	Weight Matrix : 
 	
-			0,0	7281,0	20385,0	18,0	
-			0,0	0,0	0,0	0,0	
-			-32569,0	0,0	0,0	0,0	
-			-20385,0	-18,0	0,0	0,0	
+			0,0	0,0	0,0	192,0	
+			0,0	0,0	4294922360,1	29728,0	
+			0,0	0,0	0,0	30592,0	
+			-10170,1	0,0	0,0	0,0	


 	Push done at L : 0
@@ -110,10 +110,10 @@ Abstract state of the on the fly tree automata(TA):
 	Transitions:	-40	-40	0	2	
 	Weight Matrix : 
 	
-			0,0	33,0	7281,0	0,0	
-			0,0	0,0	18,0	0,0	
-			-18,0	0,0	0,0	7281,0	
-			-20385,0	-18,0	0,0	0,0	
+			0,0	0,0	192,0	0,0	
+			0,0	0,0	0,0	4294922419,1	
+			0,0	0,0	0,0	30528,0	
+			-10170,1	0,0	0,0	0,0	


 	Push done at L : 0
@@ -126,10 +126,10 @@ Abstract state of the on the fly tree automata(TA):
 	Transitions:	-40	-40	0	2	
 	Weight Matrix : 
 	
-			0,0	7281,0	7281,0	0,0	
-			0,0	0,0	0,0	0,0	
-			-32569,0	0,0	0,0	0,0	
-			-20385,0	-33,0	0,0	0,0	
+			0,0	0,0	192,0	192,0	
+			0,0	0,0	30592,0	30624,0	
+			0,0	0,0	0,0	4294924504,1	
+			-10170,1	0,0	0,0	0,0	


 	Push done at L : 0
@@ -139,14 +139,14 @@ Abstract state of the on the fly tree automata(TA):
 	Points in the automaton:
 		1----2----3----4----5
 		L : 1
-	Transitions:	-40	10	-40	0	2	
+	Transitions:	-40	-38	-40	0	2	
 	Weight Matrix : 
 	
 			0,0	0,0	0,0	0,0	0,0	
-			0,0	0,0	33,0	0,0	20385,0	
-			-18,0	0,0	0,0	0,0	20385,0	
-			-30304,0	-33,0	0,0	0,0	0,0	
-			0,0	0,0	-25520,0	0,0	0,0	
+			0,0	0,0	0,0	30624,0	0,0	
+			0,0	0,0	0,0	30064,0	4294902435,1	
+			-30304,0	0,0	0,0	0,0	0,0	
+			0,0	0,0	0,0	0,0	0,0	


 	Push done at L : 0
@@ -154,15 +154,16 @@ Abstract state of the on the fly tree automata(TA):

 Abstract state of the on the fly tree automata(TA):
 	Points in the automaton:
-		1----2----3----4
+		1----2----3----4----5
 		L : 1
-	Transitions:	0	-40	0	2	
+	Transitions:	0	0	-40	0	2	
 	Weight Matrix : 
 	
-			0,0	4294922313,1	0,0	0,0	
-			0,0	0,0	0,0	2776,0	
-			0,0	0,0	0,0	0,0	
-			-18,0	-20385,0	0,0	0,0	
+			0,0	0,0	192,0	0,0	0,0	
+			0,0	0,0	0,0	0,0	0,0	
+			0,0	0,0	0,0	0,0	0,0	
+			0,0	0,0	0,0	0,0	0,0	
+			0,0	-7818,1	0,0	0,0	0,0	


 	Push done at L : 0
@@ -178,12 +179,11 @@ Abstract state of the on the fly tree automata(TA):
 			0,0	0,0	0,0	0,0	
 			0,0	0,0	0,0	0,0	
 			0,0	0,0	0,0	0,0	
-			-18,0	-18,0	0,0	0,0	
+			0,0	0,0	0,0	0,0	


 	Push done at L : 0
-The language recognized by the TPDA is EMPTY!
-
+Correct!
 #stacks : 1
 #clocks : 1
 #states : 5
@@ -193,5 +193,5 @@ Tree-Width(K) : 5

 ---END OF EXECUTION---

-Execution time : 0.000321 seconds.
+Execution time : 0.000356 seconds.

--- a/output/tp67.txt
+++ b/output/tp67.txt
 Initial state is same as final state 
-The language recognized by the TPDA is NOT EMPTY!
-
+Wrong
 #stacks : 1
 #clocks : 1
 #states : 14
@@ -10,5 +9,5 @@ Tree-Width(K) : 5

 ---END OF EXECUTION---

-Execution time : 9.6e-05 seconds.
+Execution time : 0.117317 seconds.

--- a/output/tpd1.txt
+++ b/output/tpd1.txt
@@ -50,7 +50,7 @@ Abstract state of the on the fly tree automata(TA):
 	Weight Matrix : 
 	
 			0,0	0,0	4294922313,1	
-			0,0	0,0	0,0	
+			0,0	0,0	213,0	
 			-33,0	0,0	0,0	


@@ -64,9 +64,9 @@ Abstract state of the on the fly tree automata(TA):
 	Transitions:	-40	-40	1	2	
 	Weight Matrix : 
 	
-			0,0	0,0	0,0	31616,0	
-			-31616,0	0,0	0,0	0,0	
+			0,0	0,0	0,0	6031,0	
 			0,0	0,0	0,0	0,0	
+			0,0	-26000,0	0,0	0,0	
 			-33,0	0,0	0,0	0,0	


@@ -80,10 +80,10 @@ Abstract state of the on the fly tree automata(TA):
 	Transitions:	-40	-40	1	2	
 	Weight Matrix : 
 	
-			0,0	243,0	0,0	0,0	
-			-1,0	0,0	0,0	4294924504,1	
+			0,0	3815,0	0,0	0,0	
+			0,0	0,0	0,0	0,0	
 			0,0	0,0	0,0	0,0	
-			-19292,0	0,0	0,0	0,0	
+			-3815,0	0,0	0,0	0,0	


 	Push done at L : 0
@@ -96,10 +96,10 @@ Abstract state of the on the fly tree automata(TA):
 	Transitions:	-40	-40	1	2	
 	Weight Matrix : 
 	
-			0,0	0,0	0,0	243,0	
-			-256,0	0,0	0,0	18368,0	
+			0,0	3815,0	213,0	213,0	
 			0,0	0,0	0,0	0,0	
-			-19292,0	0,0	0,0	0,0	
+			-6031,0	0,0	0,0	0,0	
+			-3815,0	-213,0	0,0	0,0	


 	Push done at L : 0
@@ -112,10 +112,10 @@ Abstract state of the on the fly tree automata(TA):
 	Transitions:	-40	-40	1	2	
 	Weight Matrix : 
 	
-			0,0	243,0	0,0	0,0	
-			0,0	0,0	31616,0	4294924504,1	
+			0,0	3815,0	213,0	0,0	
 			0,0	0,0	0,0	0,0	
-			-19292,0	0,0	0,0	0,0	
+			0,0	0,0	0,0	0,0	
+			-3815,0	0,0	0,0	0,0	


 	Push done at L : 0
@@ -128,10 +128,10 @@ Abstract state of the on the fly tree automata(TA):
 	Transitions:	-40	-40	1	2	
 	Weight Matrix : 
 	
-			0,0	32758,0	0,0	243,0	
-			0,0	0,0	31616,0	0,0	
+			0,0	3815,0	0,0	213,0	
+			0,0	0,0	0,0	6031,0	
 			0,0	0,0	0,0	0,0	
-			-19292,0	0,0	0,0	0,0	
+			-3815,0	0,0	0,0	0,0	


 	Push done at L : 0
@@ -145,9 +145,9 @@ Abstract state of the on the fly tree automata(TA):
 	Weight Matrix : 
 	
 			0,0	0,0	0,0	0,0	
-			0,0	0,0	145,0	0,0	
+			0,0	0,0	4,0	0,0	
 			-65,0	0,0	0,0	0,0	
-			0,0	-33,0	0,0	0,0	
+			0,0	0,0	0,0	0,0	


 	Push done at L : 0
@@ -160,10 +160,10 @@ Abstract state of the on the fly tree automata(TA):
 	Transitions:	0	-40	1	2	
 	Weight Matrix : 
 	
-			0,0	32758,0	0,0	243,0	
-			0,0	0,0	0,0	4294920551,1	
-			-49,0	0,0	0,0	0,0	
-			-19292,0	-31616,0	0,0	0,0	
+			0,0	3815,0	0,0	213,0	
+			0,0	0,0	0,0	6028,0	
+			0,0	0,0	0,0	0,0	
+			-3815,0	0,0	0,0	0,0	


 	Push done at L : 0
@@ -176,15 +176,31 @@ Abstract state of the on the fly tree automata(TA):
 	Transitions:	0	-40	1	2	
 	Weight Matrix : 
 	
-			0,0	0,0	0,0	243,0	
-			0,0	0,0	0,0	243,0	
-			0,0	0,0	0,0	243,0	
-			-19292,0	-19292,0	0,0	0,0	
+			0,0	0,0	0,0	213,0	
+			0,0	0,0	0,0	213,0	
+			0,0	0,0	0,0	213,0	
+			-3815,0	-3815,0	0,0	0,0	
+
+
+	Push done at L : 0
+
+Abstract state of the on the fly tree automata(TA):
+	Points in the automaton:
+		1----2----3
+		L : 1
+	Transitions:	0	5	7	
+	Accuracy: 	    0	    1	    
+	TSM : 		0	0	1	


 	Push done at L : 0
-The language recognized by the TPDA is EMPTY!
+	Pop done at R : 1
+
+A run of the automation as a witness for the language to be non-empty.
+The run given as a sequence of pairs (Transition, Time stamp) : 
+(0, 0.0), (1, 0.0), (2, 0.0), (3, 1.0), (4, 2.0), (5, 2.0), (6, 2.0), (7, 3.0), 

+Wrong
 #stacks : 1
 #clocks : 1
 #states : 8
@@ -194,5 +210,5 @@ Tree-Width(K) : 5

 ---END OF EXECUTION---

-Execution time : 0.000351 seconds.
+Execution time : 0.000426 seconds.

--- a/output/tpdis0.txt
+++ b/output/tpdis0.txt
@@ -595,16 +595,3 @@ Abstract state of the on the fly tree automata(TA):


 	Push done at L : 0
-The language recognized by the TPDA is EMPTY!
-
-#stacks : 0
-#clocks : 16
-#states : 26
-#transitions : 24
-Maximum constant(M) : 3
-Tree-Width(K) : 17
-
---END OF EXECUTION---
-
-Execution time : 0.004181 seconds.
-
--- a/output/tpg0.txt
+++ b/output/tpg0.txt
@@ -63,9 +63,9 @@ Abstract state of the on the fly tree automata(TA):
 	Transitions:	-40	0	2	3	
 	Weight Matrix : 
 	
-			0,0	4294909765,1	0,0	29737,0	
+			0,0	4294909765,1	0,0	23937,0	
+			0,0	0,0	0,0	0,0	
 			0,0	0,0	0,0	0,0	
-			-219,0	-32620,0	0,0	0,0	
 			-33,0	0,0	-1,0	0,0	


@@ -79,11 +79,11 @@ Abstract state of the on the fly tree automata(TA):
 	Transitions:	-40	-40	0	2	3	
 	Weight Matrix : 
 	
-			0,0	0,0	0,0	29737,0	0,0	
+			0,0	0,0	260,0	4294924560,1	0,0	
+			0,0	0,0	0,0	0,0	0,0	
 			0,0	0,0	0,0	0,0	0,0	
-			-31576,0	0,0	0,0	65,0	0,0	
-			-17427,0	-1,0	0,0	0,0	29737,0	
-			-14833,1	0,0	0,0	-1,0	0,0	
+			0,0	0,0	0,0	0,0	0,0	
+			-14425,1	0,0	-23937,0	-1,0	0,0	


 	Push done at L : 0
@@ -98,7 +98,7 @@ Abstract state of the on the fly tree automata(TA):
 	
 			0,0	0,0	0,0	0,0	0,0	
 			0,0	0,0	0,0	0,0	33,0	
-			-33,0	-31448,0	0,0	0,0	0,0	
+			-33,0	-17984,1	0,0	33,0	0,0	
 			0,0	0,0	0,0	0,0	0,0	
 			-5980,1	0,0	0,0	-1,0	0,0	

@@ -113,11 +113,11 @@ Abstract state of the on the fly tree automata(TA):
 	Transitions:	0	-40	0	2	3	
 	Weight Matrix : 
 	
-			0,0	0,0	0,0	0,0	46,0	
-			0,0	0,0	0,0	29737,0	0,0	
-			0,0	-7024,1	0,0	1,0	0,0	
-			-31576,0	0,0	-33,0	0,0	0,0	
-			0,0	0,0	0,0	-1,0	0,0	
+			0,0	0,0	4294924504,1	0,0	46,0	
+			0,0	0,0	0,0	4294926656,1	0,0	
+			-24768,1	-25088,1	0,0	4294924912,1	4294926496,1	
+			0,0	0,0	0,0	0,0	0,0	
+			0,0	0,0	-261,0	-1,0	0,0	


 	Push done at L : 0
@@ -150,7 +150,7 @@ Abstract state of the on the fly tree automata(TA):
 			0,0	0,0	0,0	0,0	0,0	
 			0,0	0,0	0,0	0,0	0,0	
 			0,0	0,0	0,0	0,0	0,0	
-			0,0	0,0	-225,0	0,0	0,0	
+			0,0	0,0	0,0	0,0	0,0	
 			0,0	0,0	0,0	-1,0	0,0	


@@ -172,8 +172,7 @@ Abstract state of the on the fly tree automata(TA):


 	Push done at L : 0
-The language recognized by the TPDA is EMPTY!
-
+Correct!
 #stacks : 1
 #clocks : 2
 #states : 8
@@ -183,5 +182,5 @@ Tree-Width(K) : 8

 ---END OF EXECUTION---

-Execution time : 0.000518 seconds.
+Execution time : 1.98813 seconds.

--- a/output/tpg1.txt
+++ b/output/tpg1.txt
@@ -49,10 +49,10 @@ Abstract state of the on the fly tree automata(TA):
 	Transitions:	-40	0	1	2	
 	Weight Matrix : 
 	
-			0,0	4294908588,1	0,0	16109,0	
-			0,0	0,0	0,0	0,0	
-			0,0	0,0	0,0	0,0	
-			-33,0	-6828,1	0,0	0,0	
+			0,0	0,0	25346,0	16109,0	
+			0,0	0,0	0,0	25410,0	
+			0,0	-25410,0	0,0	116,0	
+			-33,0	0,0	0,0	0,0	


 	Push done at L : 0
@@ -65,10 +65,10 @@ Abstract state of the on the fly tree automata(TA):
 	Transitions:	-40	0	1	2	
 	Weight Matrix : 
 	
-			0,0	0,0	32562,0	0,0	
-			0,0	0,0	0,0	4294908588,1	
-			0,0	0,0	0,0	1,0	
-			-17054,0	0,0	0,0	0,0	
+			0,0	0,0	0,0	0,0	
+			0,0	0,0	0,0	216,0	
+			0,0	0,0	0,0	0,0	
+			-25410,0	0,0	0,0	0,0	


 	Push done at L : 0
@@ -81,10 +81,10 @@ Abstract state of the on the fly tree automata(TA):
 	Transitions:	-40	0	1	2	
 	Weight Matrix : 
 	
-			0,0	32562,0	0,0	29,0	
-			0,0	0,0	24656,0	4294908588,1	
-			-17054,0	-1,0	0,0	49,0	
-			-17054,0	0,0	0,0	0,0	
+			0,0	25410,0	4294918867,1	116,0	
+			0,0	0,0	0,0	216,0	
+			0,0	0,0	0,0	0,0	
+			-25410,0	0,0	0,0	0,0	


 	Push done at L : 0
@@ -97,10 +97,10 @@ Abstract state of the on the fly tree automata(TA):
 	Transitions:	0	0	1	2	
 	Weight Matrix : 
 	
-			0,0	926,0	29,0	0,0	
-			0,0	0,0	2,0	4294908588,1	
-			-17054,0	0,0	0,0	33,0	
-			-513,0	-4,0	0,0	0,0	
+			0,0	4294926609,1	0,0	0,0	
+			0,0	0,0	0,0	216,0	
+			0,0	0,0	0,0	4294926609,1	
+			-513,0	0,0	0,0	0,0	


 	Push done at L : 0
@@ -120,8 +120,24 @@ Abstract state of the on the fly tree automata(TA):


 	Push done at L : 0
-The language recognized by the TPDA is EMPTY!

+Abstract state of the on the fly tree automata(TA):
+	Points in the automaton:
+		1----2----3----4
+		L : 1
+	Transitions:	0	9	10	11	
+	Accuracy: 	    1	    1	    1	    
+	TSM : 		0	0	0	0	
+
+
+	Push done at L : 0
+	Pop done at R : 1
+
+A run of the automation as a witness for the language to be non-empty.
+The run given as a sequence of pairs (Transition, Time stamp) : 
+(0, 0.0), (1, 0.0), (2, 0.0), (3, 0.0), (4, 0.0), (5, 0.0), (6, 0.0), (7, 0.0), (8, 0.0), (9, 0.0), (10, 0.0), (11, 0.0), 
+
+Wrong
 #stacks : 1
 #clocks : 2
 #states : 12
@@ -131,5 +147,5 @@ Tree-Width(K) : 8

 ---END OF EXECUTION---

-Execution time : 0.000369 seconds.
+Execution time : 0.000425 seconds.

--- a/output/tpg11.txt
+++ b/output/tpg11.txt
@@ -50,7 +50,7 @@ Abstract state of the on the fly tree automata(TA):
 	Weight Matrix : 
 	
 			0,0	0,0	4294922313,1	
-			0,0	0,0	32568,0	
+			-32767,1	0,0	4294931900,1	
 			-33,0	0,0	0,0	


@@ -64,9 +64,9 @@ Abstract state of the on the fly tree automata(TA):
 	Transitions:	-40	-40	0	1	
 	Weight Matrix : 
 	
-			0,0	0,0	0,0	4294903296,1	
-			0,0	0,0	3949,0	0,0	
-			0,0	0,0	0,0	4294903296,1	
+			0,0	0,0	0,0	4294931900,1	
+			-30139,1	0,0	33,0	8693,0	
+			0,0	0,0	0,0	0,0	
 			-33,0	0,0	0,0	0,0	


@@ -80,10 +80,10 @@ Abstract state of the on the fly tree automata(TA):
 	Transitions:	-40	-40	0	1	
 	Weight Matrix : 
 	
+			0,0	4294927449,1	260,0	0,0	
+			0,0	0,0	43,0	4294928896,1	
 			0,0	0,0	0,0	0,0	
-			0,0	0,0	0,0	0,0	
-			0,0	0,0	0,0	0,0	
-			-12436,0	-20,0	0,0	0,0	
+			-25689,1	0,0	0,0	0,0	


 	Push done at L : 0
@@ -96,10 +96,10 @@ Abstract state of the on the fly tree automata(TA):
 	Transitions:	-40	-40	0	1	
 	Weight Matrix : 
 	
-			0,0	0,0	2,0	20,0	
-			0,0	0,0	0,0	0,0	
+			0,0	0,0	260,0	43,0	
+			0,0	0,0	43,0	0,0	
 			0,0	0,0	0,0	0,0	
-			-12436,0	0,0	0,0	0,0	
+			-25689,1	0,0	0,0	0,0	


 	Push done at L : 0
@@ -112,10 +112,10 @@ Abstract state of the on the fly tree automata(TA):
 	Transitions:	-40	-40	0	1	
 	Weight Matrix : 
 	
-			0,0	0,0	13968,0	0,0	
+			0,0	4294931900,1	260,0	0,0	
+			0,0	0,0	43,0	0,0	
 			0,0	0,0	0,0	0,0	
-			0,0	0,0	0,0	0,0	
-			-12436,0	0,0	0,0	0,0	
+			-25689,1	0,0	0,0	0,0	


 	Push done at L : 0
@@ -128,10 +128,10 @@ Abstract state of the on the fly tree automata(TA):
 	Transitions:	-40	-40	0	1	
 	Weight Matrix : 
 	
-			0,0	0,0	33,0	0,0	
-			0,0	0,0	0,0	5,0	
-			0,0	0,0	0,0	32568,0	
-			-12436,0	0,0	0,0	0,0	
+			0,0	256,0	260,0	0,0	
+			0,0	0,0	43,0	2000,0	
+			-1,0	0,0	0,0	3,0	
+			-25689,1	0,0	0,0	0,0	


 	Push done at L : 0
@@ -144,10 +144,10 @@ Abstract state of the on the fly tree automata(TA):
 	Transitions:	-40	-40	0	1	
 	Weight Matrix : 
 	
-			0,0	0,0	5,0	0,0	
-			0,0	0,0	4,0	17040,0	
-			-10286,0	0,0	0,0	32568,0	
-			-2,0	0,0	0,0	0,0	
+			0,0	0,0	0,0	0,0	
+			0,0	0,0	0,0	4294927449,1	
+			0,0	0,0	0,0	0,0	
+			-2,0	-27352,1	0,0	0,0	


 	Push done at L : 0
@@ -167,8 +167,7 @@ Abstract state of the on the fly tree automata(TA):


 	Push done at L : 0
-The language recognized by the TPDA is EMPTY!
-
+Correct!
 #stacks : 1
 #clocks : 1
 #states : 8
@@ -178,5 +177,5 @@ Tree-Width(K) : 5

 ---END OF EXECUTION---

-Execution time : 0.000345 seconds.
+Execution time : 0.000742 seconds.

--- a/output/tpg2.txt
+++ b/output/tpg2.txt
 Initial state is same as final state 
-The language recognized by the TPDA is NOT EMPTY!
-
+Wrong
 #stacks : 1
 #clocks : 1
 #states : 6
@@ -10,5 +9,5 @@ Tree-Width(K) : 5

 ---END OF EXECUTION---

-Execution time : 8.6e-05 seconds.
+Execution time : 0.006021 seconds.

--- a/output/tpg9.txt
+++ b/output/tpg9.txt
@@ -77,7 +77,7 @@ Abstract state of the on the fly tree automata(TA):
 	Transitions:	-40	-40	1	
 	Weight Matrix : 
 	
-			0,0	15169,0	0,0	
+			0,0	10120,0	0,0	
 			0,0	0,0	0,0	
 			0,0	0,0	0,0	

@@ -92,9 +92,9 @@ Abstract state of the on the fly tree automata(TA):
 	Transitions:	-40	-40	0	2	
 	Weight Matrix : 
 	
-			0,0	15169,0	0,0	15169,0	
-			0,0	0,0	0,0	15169,0	
-			0,0	0,0	0,0	4294934527,1	
+			0,0	10120,0	0,0	10120,0	
+			0,0	0,0	0,0	10120,0	
+			0,0	0,0	0,0	0,0	
 			-33,0	0,0	0,0	0,0	


@@ -109,7 +109,7 @@ Abstract state of the on the fly tree automata(TA):
 	Weight Matrix : 
 	
 			0,0	0,0	0,0	
-			-22464,1	0,0	0,0	
+			-1984,1	0,0	0,0	
 			0,0	0,0	0,0	


@@ -123,9 +123,9 @@ Abstract state of the on the fly tree automata(TA):
 	Transitions:	0	-40	0	2	
 	Weight Matrix : 
 	
-			0,0	0,0	0,0	15169,0	
-			0,0	0,0	0,0	15169,0	
-			0,0	0,0	0,0	15169,0	
+			0,0	0,0	0,0	10120,0	
+			0,0	0,0	0,0	10120,0	
+			0,0	0,0	0,0	10120,0	
 			-33,0	-33,0	0,0	0,0	


@@ -140,7 +140,7 @@ Abstract state of the on the fly tree automata(TA):
 	Weight Matrix : 
 	
 			0,0	0,0	768,0	
-			-32767,1	0,0	0,0	
+			0,0	0,0	0,0	
 			0,0	0,0	0,0	


@@ -160,8 +160,7 @@ Abstract state of the on the fly tree automata(TA):


 	Push done at L : 0
-The language recognized by the TPDA is EMPTY!
-
+Correct!
 #stacks : 1
 #clocks : 1
 #states : 10
@@ -171,5 +170,5 @@ Tree-Width(K) : 5

 ---END OF EXECUTION---

-Execution time : 0.000324 seconds.
+Execution time : 0.002322 seconds.

--- a/output/tps10.txt
+++ b/output/tps10.txt
 Initial state is same as final state 
-The language recognized by the TPDA is NOT EMPTY!
-
+Wrong
 #stacks : 1
 #clocks : 1
 #states : 4
@@ -10,5 +9,5 @@ Tree-Width(K) : 5

 ---END OF EXECUTION---

-Execution time : 9e-05 seconds.
+Execution time : 0.000187 seconds.

--- a/output/tps11.txt
+++ b/output/tps11.txt
 Initial state is same as final state 
-The language recognized by the TPDA is NOT EMPTY!

+Abstract state of the on the fly tree automata(TA):
+	Points in the automaton:
+		1----2
+		L : 1
+	Transitions:	0	5	
+	Accuracy: 	    0	    
+	TSM : 		0	1	
+
+
+	Push done at L : 0
+	Pop done at R : 1
+
+A run of the automation as a witness for the language to be non-empty.
+The run given as a sequence of pairs (Transition, Time stamp) : 
+(0, 0.0), (2, 2.0), (6, 3.0), (4, 6.0), (5, 12.0), 
+
+Correct!
 #stacks : 1
 #clocks : 1
 #states : 5
@@ -10,5 +26,5 @@ Tree-Width(K) : 5

 ---END OF EXECUTION---

-Execution time : 9.1e-05 seconds.
+Execution time : 0.000403 seconds.

--- a/output/tps2.txt
+++ b/output/tps2.txt
@@ -39,8 +39,24 @@ Abstract state of the on the fly tree automata(TA):


 	Push done at L : 0
-The language recognized by the TPDA is EMPTY!

+Abstract state of the on the fly tree automata(TA):
+	Points in the automaton:
+		1----2
+		L : 1
+	Transitions:	0	6	
+	Accuracy: 	    1	    
+	TSM : 		0	2	
+
+
+	Push done at L : 0
+	Pop done at R : 1
+
+A run of the automation as a witness for the language to be non-empty.
+The run given as a sequence of pairs (Transition, Time stamp) : 
+(0, 0.0), (1, 0.0), (2, 0.0), (2, 0.0), (3, 0.0), (5, 1.0), (5, 2.0), (6, 2.0), 
+
+Wrong
 #stacks : 1
 #clocks : 1
 #states : 4
@@ -50,5 +66,5 @@ Tree-Width(K) : 5

 ---END OF EXECUTION---

-Execution time : 0.000152 seconds.
+Execution time : 0.000218 seconds.

--- a/output/tps4.txt
+++ b/output/tps4.txt
@@ -48,7 +48,7 @@ Abstract state of the on the fly tree automata(TA):
 	Transitions:	-40	1	
 	Weight Matrix : 
 	
-			0,0	4294915280,1	
+			0,0	17616,0	
 			0,0	0,0	


@@ -77,8 +77,8 @@ Abstract state of the on the fly tree automata(TA):
 	Transitions:	-40	-40	1	
 	Weight Matrix : 
 	
-			0,0	6,0	0,0	
-			0,0	0,0	6,0	
+			0,0	4294917714,1	0,0	
+			-32767,1	0,0	152,0	
 			0,0	0,0	0,0	


@@ -107,8 +107,8 @@ Abstract state of the on the fly tree automata(TA):
 	Transitions:	-40	-40	1	
 	Weight Matrix : 
 	
-			0,0	64,0	21690,0	
-			-16907,1	0,0	0,0	
+			0,0	4294917714,1	4294917714,1	
+			-15954,1	0,0	0,0	
 			-33,0	0,0	0,0	


@@ -138,7 +138,7 @@ Abstract state of the on the fly tree automata(TA):
 	Weight Matrix : 
 	
 			0,0	0,0	0,0	
-			0,0	0,0	0,0	
+			-27137,1	0,0	256,0	
 			0,0	0,0	0,0	


@@ -158,8 +158,7 @@ Abstract state of the on the fly tree automata(TA):


 	Push done at L : 0
-The language recognized by the TPDA is EMPTY!
-
+Correct!
 #stacks : 1
 #clocks : 1
 #states : 6
@@ -169,5 +168,5 @@ Tree-Width(K) : 5

 ---END OF EXECUTION---

-Execution time : 0.00033 seconds.
+Execution time : 0.000349 seconds.

--- a/output/tps5.txt
+++ b/output/tps5.txt
@@ -24,8 +24,24 @@ Abstract state of the on the fly tree automata(TA):


 	Push done at L : 0
-The language recognized by the TPDA is NOT EMPTY!

+Abstract state of the on the fly tree automata(TA):
+	Points in the automaton:
+		1----2
+		L : 1
+	Transitions:	0	8	
+	Accuracy: 	    1	    
+	TSM : 		0	6	
+
+
+	Push done at L : 0
+	Pop done at R : 1
+
+A run of the automation as a witness for the language to be non-empty.
+The run given as a sequence of pairs (Transition, Time stamp) : 
+(0, 0.0), (1, 0.0), (2, 0.0), (3, 1.0), (2, 1.0), (4, 4.0), (6, 4.0), (7, 5.0), (6, 5.0), (7, 6.0), (5, 6.0), (8, 6.0), 
+
+Correct!
 #stacks : 1
 #clocks : 1
 #states : 5
@@ -35,5 +51,5 @@ Tree-Width(K) : 5

 ---END OF EXECUTION---

-Execution time : 0.000181 seconds.
+Execution time : 0.000928 seconds.

--- a/output/tps9.txt
+++ b/output/tps9.txt
@@ -39,8 +39,7 @@ Abstract state of the on the fly tree automata(TA):


 	Push done at L : 0
-The language recognized by the TPDA is EMPTY!
-
+Correct!
 #stacks : 1
 #clocks : 1
 #states : 5
@@ -50,5 +49,5 @@ Tree-Width(K) : 5

 ---END OF EXECUTION---

-Execution time : 0.00019 seconds.
+Execution time : 0.000175 seconds.

--- a/tree
+++ b/tree
--- a/vgcore.5955
+++ b/vgcore.5955