0

Abstract state of the on the fly tree automata(TA):
	Points in the automaton:
		1
		L : 1
	Transitions:	0	
	Weight Matrix : 
	
			0,0	


	Push done at L : 0
1

Abstract state of the on the fly tree automata(TA):
	Points in the automaton:
		1----2
		L : 1
	Transitions:	0	1	
	Weight Matrix : 
	
			0,0	16384,0	
			0,0	0,0	


	Push done at L : 0
2

Abstract state of the on the fly tree automata(TA):
	Points in the automaton:
		1----2----3
		L : 1
	Transitions:	0	1	2	
	Weight Matrix : 
	
			0,0	16384,0	16384,0	
			0,0	0,0	16384,0	
			0,0	0,0	0,0	


	Push done at L : 0
3

Abstract state of the on the fly tree automata(TA):
	Points in the automaton:
		1----2----3
		L : 1
	Transitions:	-40	1	2	
	Weight Matrix : 
	
			0,0	0,0	4294922313,1	
			0,0	0,0	213,0	
			-33,0	0,0	0,0	


	Push done at L : 0
4

Abstract state of the on the fly tree automata(TA):
	Points in the automaton:
		1----2----3----4
		L : 1
	Transitions:	-40	-40	1	2	
	Weight Matrix : 
	
			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	


	Push done at L : 0
5

Abstract state of the on the fly tree automata(TA):
	Points in the automaton:
		1----2----3----4
		L : 1
	Transitions:	-40	-40	1	2	
	Weight Matrix : 
	
			0,0	3815,0	0,0	0,0	
			0,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
6

Abstract state of the on the fly tree automata(TA):
	Points in the automaton:
		1----2----3----4
		L : 1
	Transitions:	-40	-40	1	2	
	Weight Matrix : 
	
			0,0	3815,0	213,0	213,0	
			0,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
7

Abstract state of the on the fly tree automata(TA):
	Points in the automaton:
		1----2----3----4
		L : 1
	Transitions:	-40	-40	1	2	
	Weight Matrix : 
	
			0,0	3815,0	213,0	0,0	
			0,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
8

Abstract state of the on the fly tree automata(TA):
	Points in the automaton:
		1----2----3----4
		L : 1
	Transitions:	-40	-40	1	2	
	Weight Matrix : 
	
			0,0	3815,0	0,0	213,0	
			0,0	0,0	0,0	6031,0	
			0,0	0,0	0,0	0,0	
			-3815,0	0,0	0,0	0,0	


	Push done at L : 0
9

Abstract state of the on the fly tree automata(TA):
	Points in the automaton:
		1----2----3----4
		L : 1
	Transitions:	-40	-40	1	2	
	Weight Matrix : 
	
			0,0	0,0	0,0	0,0	
			0,0	0,0	4,0	0,0	
			-65,0	0,0	0,0	0,0	
			0,0	0,0	0,0	0,0	


	Push done at L : 0
10

Abstract state of the on the fly tree automata(TA):
	Points in the automaton:
		1----2----3----4
		L : 1
	Transitions:	0	-40	1	2	
	Weight Matrix : 
	
			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
11

Abstract state of the on the fly tree automata(TA):
	Points in the automaton:
		1----2----3----4
		L : 1
	Transitions:	0	-40	1	2	
	Weight Matrix : 
	
			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
	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
#transitions : 7
Maximum constant(M) : 2
Tree-Width(K) : 5

---END OF EXECUTION---

Execution time : 0.000426 seconds.

