2.88/0.94	YES
2.88/0.95	
2.88/0.95	
2.88/0.95	The dependency pairs transformation was applied.
2.88/0.95	
2.88/0.95	Remains to prove termination of the 7-rule system
2.88/0.95	{ (a,true) (a,false) (b,false) (a,false) (a,false) (b,false) (a,false) -> (a,true) (b,false) (a,false) (a,false) (b,false) (a,false) (a,false) (a,false) (b,false) ,
2.88/0.95	  (a,true) (a,false) (b,false) (a,false) (a,false) (b,false) (a,false) -> (a,true) (a,false) (b,false) (a,false) (a,false) (a,false) (b,false) ,
2.88/0.95	  (a,true) (a,false) (b,false) (a,false) (a,false) (b,false) (a,false) -> (a,true) (b,false) (a,false) (a,false) (a,false) (b,false) ,
2.88/0.95	  (a,true) (a,false) (b,false) (a,false) (a,false) (b,false) (a,false) -> (a,true) (a,false) (a,false) (b,false) ,
2.88/0.95	  (a,true) (a,false) (b,false) (a,false) (a,false) (b,false) (a,false) -> (a,true) (a,false) (b,false) ,
2.88/0.95	  (a,true) (a,false) (b,false) (a,false) (a,false) (b,false) (a,false) -> (a,true) (b,false) ,
2.88/0.95	  (a,false) (a,false) (b,false) (a,false) (a,false) (b,false) (a,false) ->= (a,false) (b,false) (a,false) (a,false) (b,false) (a,false) (a,false) (a,false) (b,false) }
2.88/0.95	
2.88/0.95	
2.88/0.95	
2.88/0.95	
2.88/0.95	The system was filtered by the following matrix interpretation
2.88/0.95	of type E_J with J = {1,...,2} and dimension 8:
2.88/0.95	
2.88/0.95	(a,true) is interpreted by
2.88/0.95	 /               \
2.88/0.95	| 1 0 1 0 0 0 0 0 |
2.88/0.95	| 0 1 0 0 0 0 0 0 |
2.88/0.95	| 0 0 0 0 0 0 0 0 |
2.88/0.95	| 0 0 0 0 0 0 0 0 |
2.88/0.95	| 0 0 0 0 0 0 0 0 |
2.88/0.95	| 0 0 0 0 0 0 0 0 |
2.88/0.95	| 0 0 0 0 0 0 0 0 |
2.88/0.95	| 0 0 0 0 0 0 0 0 |
2.88/0.95	 \               /
2.88/0.95	(a,false) is interpreted by
2.88/0.95	 /               \
2.88/0.95	| 1 0 0 0 0 0 0 0 |
2.88/0.95	| 0 1 0 0 0 0 0 0 |
2.88/0.95	| 0 0 1 1 0 1 0 0 |
2.88/0.95	| 0 0 0 0 0 0 0 0 |
2.88/0.95	| 0 0 0 0 0 1 0 0 |
2.88/0.95	| 0 0 0 0 0 0 1 0 |
2.88/0.95	| 0 0 0 0 0 0 1 0 |
2.88/0.95	| 0 1 0 0 1 0 0 1 |
2.88/0.95	 \               /
2.88/0.95	(b,false) is interpreted by
2.88/0.95	 /               \
2.88/0.95	| 1 0 0 0 0 0 0 0 |
2.88/0.95	| 0 1 0 0 0 0 0 0 |
2.88/0.95	| 0 0 0 0 0 0 0 0 |
2.88/0.95	| 0 0 0 0 1 0 0 0 |
2.88/0.95	| 0 0 0 0 0 0 0 0 |
2.88/0.95	| 0 0 0 0 0 0 0 0 |
2.88/0.95	| 0 0 0 0 0 0 0 1 |
2.88/0.95	| 0 0 0 0 0 0 0 0 |
2.88/0.95	 \               /
2.88/0.95	
2.88/0.95	Remains to prove termination of the 1-rule system
2.88/0.95	{ (a,false) (a,false) (b,false) (a,false) (a,false) (b,false) (a,false) ->= (a,false) (b,false) (a,false) (a,false) (b,false) (a,false) (a,false) (a,false) (b,false) }
2.88/0.95	
2.88/0.95	
2.88/0.95	The system is trivially terminating.
2.98/1.00	EOF