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	11,0	
			-3,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
		L : 1
	Transitions:	0	2	
	Weight Matrix : 
	
			0,0	24,0	
			-5,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:	0	2	3	
	Weight Matrix : 
	
			0,0	24,0	39,0	
			-5,0	0,0	15,0	
			-6,0	-1,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	0	2	3	
	Weight Matrix : 
	
			0,0	4294909765,1	0,0	23937,0	
			0,0	0,0	0,0	0,0	
			0,0	0,0	0,0	0,0	
			-33,0	0,0	-1,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----5
		L : 1
	Transitions:	-40	-40	0	2	3	
	Weight Matrix : 
	
			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	
			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
6

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


	Push done at L : 0
7

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

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


	Push done at L : 0
Correct!
#stacks : 1
#clocks : 2
#states : 8
#transitions : 6
Maximum constant(M) : 16
Tree-Width(K) : 8

---END OF EXECUTION---

Execution time : 1.98813 seconds.

