Processing ./input/pd1 File.. 
0
1
2
3

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
Processing ./input/rep1 File.. 
0
1
2
3
4
5
6
7
8
Correct!
Processing ./input/rep2 File.. 
0

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


	Push done at L : 0

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!
Processing ./input/sample File.. 
0

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	16384,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	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!
Processing ./input/t1 File.. 
0
1
2
3
4
Correct!
Processing ./input/t10 File.. 
0
1
2
3
Correct!
Processing ./input/t11 File.. 
0
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
Correct!
Processing ./input/t13 File.. 
0
1
2
3
Correct!
Processing ./input/t8 File.. 
0
1
2
Correct!
Processing ./input/tp2_0 File.. 
0
1
2
3
4
5
Correct!
Processing ./input/tp3_0 File.. 
