1.75/0.67	YES
1.75/0.69	
1.75/0.69	
1.75/0.69	The system was reversed.
1.75/0.69	
1.75/0.69	Remains to prove termination of the 1-rule system
1.75/0.69	{ a a a a c b b a a -> c b b a a c b b a a a a a a }
1.75/0.69	
1.75/0.69	
1.75/0.69	The dependency pairs transformation was applied.
1.75/0.69	
1.75/0.69	Remains to prove termination of the 9-rule system
1.75/0.69	{ (a,true) (a,false) (a,false) (a,false) (c,false) (b,false) (b,false) (a,false) (a,false) -> (a,true) (a,false) (c,false) (b,false) (b,false) (a,false) (a,false) (a,false) (a,false) (a,false) (a,false) ,
1.75/0.69	  (a,true) (a,false) (a,false) (a,false) (c,false) (b,false) (b,false) (a,false) (a,false) -> (a,true) (c,false) (b,false) (b,false) (a,false) (a,false) (a,false) (a,false) (a,false) (a,false) ,
1.75/0.69	  (a,true) (a,false) (a,false) (a,false) (c,false) (b,false) (b,false) (a,false) (a,false) -> (a,true) (a,false) (a,false) (a,false) (a,false) (a,false) ,
1.75/0.69	  (a,true) (a,false) (a,false) (a,false) (c,false) (b,false) (b,false) (a,false) (a,false) -> (a,true) (a,false) (a,false) (a,false) (a,false) ,
1.75/0.69	  (a,true) (a,false) (a,false) (a,false) (c,false) (b,false) (b,false) (a,false) (a,false) -> (a,true) (a,false) (a,false) (a,false) ,
1.75/0.69	  (a,true) (a,false) (a,false) (a,false) (c,false) (b,false) (b,false) (a,false) (a,false) -> (a,true) (a,false) (a,false) ,
1.75/0.69	  (a,true) (a,false) (a,false) (a,false) (c,false) (b,false) (b,false) (a,false) (a,false) -> (a,true) (a,false) ,
1.75/0.69	  (a,true) (a,false) (a,false) (a,false) (c,false) (b,false) (b,false) (a,false) (a,false) -> (a,true) ,
1.75/0.69	  (a,false) (a,false) (a,false) (a,false) (c,false) (b,false) (b,false) (a,false) (a,false) ->= (c,false) (b,false) (b,false) (a,false) (a,false) (c,false) (b,false) (b,false) (a,false) (a,false) (a,false) (a,false) (a,false) (a,false) }
1.75/0.69	
1.75/0.69	
1.75/0.69	
1.75/0.69	
1.75/0.69	The system was filtered by the following matrix interpretation
1.75/0.69	of type E_J with J = {1,...,2} and dimension 10:
1.75/0.69	
1.75/0.69	(a,true) is interpreted by
1.75/0.69	 /                   \
1.75/0.69	| 1 0 1 0 0 0 0 0 0 0 |
1.75/0.69	| 0 1 0 0 0 0 0 0 0 0 |
1.75/0.69	| 0 0 0 0 0 0 0 0 0 0 |
1.75/0.69	| 0 0 0 0 0 0 0 0 0 0 |
1.75/0.69	| 0 0 0 0 0 0 0 0 0 0 |
1.75/0.69	| 0 0 0 0 0 0 0 0 0 0 |
1.75/0.69	| 0 0 0 0 0 0 0 0 0 0 |
1.75/0.69	| 0 0 0 0 0 0 0 0 0 0 |
1.75/0.69	| 0 0 0 0 0 0 0 0 0 0 |
1.75/0.69	| 0 0 0 0 0 0 0 0 0 0 |
1.75/0.69	 \                   /
1.75/0.69	(a,false) is interpreted by
1.75/0.69	 /                   \
1.75/0.69	| 1 0 0 0 0 0 0 0 0 0 |
1.75/0.69	| 0 1 0 0 0 0 0 0 0 0 |
1.75/0.69	| 0 0 0 2 0 0 0 0 0 0 |
1.75/0.69	| 0 0 0 0 1 0 0 0 0 0 |
1.75/0.69	| 0 0 0 0 0 1 0 0 0 0 |
1.75/0.69	| 0 0 1 0 0 0 0 0 0 0 |
1.75/0.69	| 0 0 0 0 0 0 0 0 0 0 |
1.75/0.69	| 0 0 0 0 0 0 0 0 0 0 |
1.75/0.69	| 0 0 1 0 0 0 0 0 0 1 |
1.75/0.69	| 0 1 1 0 1 0 0 0 0 0 |
1.75/0.69	 \                   /
1.75/0.69	(c,false) is interpreted by
1.75/0.69	 /                   \
1.75/0.69	| 1 0 0 0 0 0 0 0 0 0 |
1.75/0.69	| 0 1 0 0 0 0 0 0 0 0 |
1.75/0.69	| 0 0 0 0 0 0 0 0 0 0 |
1.75/0.69	| 0 0 0 0 0 0 0 0 0 0 |
1.75/0.69	| 0 0 0 0 0 0 0 0 0 0 |
1.75/0.69	| 0 0 0 0 0 0 1 0 0 0 |
1.75/0.69	| 0 0 0 0 0 0 0 0 0 0 |
1.75/0.69	| 0 0 0 0 0 0 0 0 0 0 |
1.75/0.69	| 0 0 0 0 0 0 0 0 0 0 |
1.75/0.69	| 0 0 0 0 0 0 0 0 0 0 |
1.75/0.69	 \                   /
1.75/0.69	(b,false) is interpreted by
1.75/0.69	 /                   \
1.75/0.69	| 1 0 0 0 0 0 0 0 0 0 |
1.75/0.69	| 0 1 0 0 0 0 0 0 0 0 |
1.75/0.69	| 0 0 0 0 0 0 0 0 0 0 |
1.75/0.69	| 0 0 0 0 0 0 0 0 0 0 |
1.75/0.69	| 0 0 0 0 0 0 0 0 0 0 |
1.75/0.69	| 0 0 0 0 0 0 0 0 0 0 |
1.75/0.69	| 0 0 0 0 0 0 0 1 0 0 |
1.75/0.69	| 0 0 0 1 0 0 0 0 1 0 |
1.75/0.69	| 0 0 0 0 0 0 0 0 0 0 |
1.75/0.69	| 0 0 0 0 0 0 0 0 0 0 |
1.75/0.69	 \                   /
1.75/0.69	
1.75/0.69	Remains to prove termination of the 1-rule system
1.75/0.69	{ (a,false) (a,false) (a,false) (a,false) (c,false) (b,false) (b,false) (a,false) (a,false) ->= (c,false) (b,false) (b,false) (a,false) (a,false) (c,false) (b,false) (b,false) (a,false) (a,false) (a,false) (a,false) (a,false) (a,false) }
1.75/0.69	
1.75/0.69	
1.75/0.69	The system is trivially terminating.
1.96/0.73	EOF