18.74/5.05	YES
18.85/5.09	
18.85/5.09	
18.85/5.09	The system was reversed.
18.85/5.09	
18.85/5.09	Remains to prove termination of the 1-rule system
18.85/5.09	{ b b a b b b b a b b a -> a b b b b a b b a b b b b a }
18.85/5.09	
18.85/5.09	
18.85/5.09	The dependency pairs transformation was applied.
18.85/5.09	
18.85/5.09	Remains to prove termination of the 11-rule system
18.85/5.09	{ (b,true) (b,false) (a,false) (b,false) (b,false) (b,false) (b,false) (a,false) (b,false) (b,false) (a,false) -> (b,true) (b,false) (b,false) (b,false) (a,false) (b,false) (b,false) (a,false) (b,false) (b,false) (b,false) (b,false) (a,false) ,
18.85/5.09	  (b,true) (b,false) (a,false) (b,false) (b,false) (b,false) (b,false) (a,false) (b,false) (b,false) (a,false) -> (b,true) (b,false) (b,false) (a,false) (b,false) (b,false) (a,false) (b,false) (b,false) (b,false) (b,false) (a,false) ,
18.85/5.09	  (b,true) (b,false) (a,false) (b,false) (b,false) (b,false) (b,false) (a,false) (b,false) (b,false) (a,false) -> (b,true) (b,false) (a,false) (b,false) (b,false) (a,false) (b,false) (b,false) (b,false) (b,false) (a,false) ,
18.85/5.09	  (b,true) (b,false) (a,false) (b,false) (b,false) (b,false) (b,false) (a,false) (b,false) (b,false) (a,false) -> (b,true) (a,false) (b,false) (b,false) (a,false) (b,false) (b,false) (b,false) (b,false) (a,false) ,
18.85/5.09	  (b,true) (b,false) (a,false) (b,false) (b,false) (b,false) (b,false) (a,false) (b,false) (b,false) (a,false) -> (b,true) (b,false) (a,false) (b,false) (b,false) (b,false) (b,false) (a,false) ,
18.85/5.09	  (b,true) (b,false) (a,false) (b,false) (b,false) (b,false) (b,false) (a,false) (b,false) (b,false) (a,false) -> (b,true) (a,false) (b,false) (b,false) (b,false) (b,false) (a,false) ,
18.85/5.09	  (b,true) (b,false) (a,false) (b,false) (b,false) (b,false) (b,false) (a,false) (b,false) (b,false) (a,false) -> (b,true) (b,false) (b,false) (b,false) (a,false) ,
18.85/5.09	  (b,true) (b,false) (a,false) (b,false) (b,false) (b,false) (b,false) (a,false) (b,false) (b,false) (a,false) -> (b,true) (b,false) (b,false) (a,false) ,
18.85/5.09	  (b,true) (b,false) (a,false) (b,false) (b,false) (b,false) (b,false) (a,false) (b,false) (b,false) (a,false) -> (b,true) (b,false) (a,false) ,
18.85/5.09	  (b,true) (b,false) (a,false) (b,false) (b,false) (b,false) (b,false) (a,false) (b,false) (b,false) (a,false) -> (b,true) (a,false) ,
18.85/5.09	  (b,false) (b,false) (a,false) (b,false) (b,false) (b,false) (b,false) (a,false) (b,false) (b,false) (a,false) ->= (a,false) (b,false) (b,false) (b,false) (b,false) (a,false) (b,false) (b,false) (a,false) (b,false) (b,false) (b,false) (b,false) (a,false) }
18.85/5.09	
18.85/5.09	
18.85/5.09	
18.85/5.09	
18.85/5.09	The system was filtered by the following matrix interpretation
18.85/5.09	of type E_J with J = {1,...,2} and dimension 12:
18.85/5.09	
18.85/5.09	(b,true) is interpreted by
18.85/5.09	 /                       \
18.85/5.09	| 1 0 1 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 1 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	 \                       /
18.85/5.09	(b,false) is interpreted by
18.85/5.09	 /                       \
18.85/5.09	| 1 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 1 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 1 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 1 0 |
18.85/5.09	| 0 0 0 0 0 1 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 1 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 1 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 1 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 1 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 2 |
18.85/5.09	| 0 0 2 0 0 0 0 0 0 0 0 0 |
18.85/5.09	 \                       /
18.85/5.09	(a,false) is interpreted by
18.85/5.09	 /                       \
18.85/5.09	| 1 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 1 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 1 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 1 0 0 1 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 1 0 0 1 0 0 0 0 0 0 0 |
18.85/5.09	 \                       /
18.85/5.09	
18.85/5.09	Remains to prove termination of the 3-rule system
18.85/5.09	{ (b,true) (b,false) (a,false) (b,false) (b,false) (b,false) (b,false) (a,false) (b,false) (b,false) (a,false) -> (b,true) (b,false) (b,false) (b,false) (a,false) (b,false) (b,false) (a,false) (b,false) (b,false) (b,false) (b,false) (a,false) ,
18.85/5.09	  (b,true) (b,false) (a,false) (b,false) (b,false) (b,false) (b,false) (a,false) (b,false) (b,false) (a,false) -> (b,true) (b,false) (b,false) (b,false) (a,false) ,
18.85/5.09	  (b,false) (b,false) (a,false) (b,false) (b,false) (b,false) (b,false) (a,false) (b,false) (b,false) (a,false) ->= (a,false) (b,false) (b,false) (b,false) (b,false) (a,false) (b,false) (b,false) (a,false) (b,false) (b,false) (b,false) (b,false) (a,false) }
18.85/5.09	
18.85/5.09	
18.85/5.09	The system was filtered by the following matrix interpretation
18.85/5.09	of type E_J with J = {1,...,2} and dimension 22:
18.85/5.09	
18.85/5.09	(b,true) is interpreted by
18.85/5.09	 /                                           \
18.85/5.09	| 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	 \                                           /
18.85/5.09	(b,false) is interpreted by
18.85/5.09	 /                                           \
18.85/5.09	| 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 |
18.85/5.09	 \                                           /
18.85/5.09	(a,false) is interpreted by
18.85/5.09	 /                                           \
18.85/5.09	| 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	| 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 |
18.85/5.09	 \                                           /
18.85/5.09	
18.85/5.09	Remains to prove termination of the 1-rule system
18.85/5.09	{ (b,false) (b,false) (a,false) (b,false) (b,false) (b,false) (b,false) (a,false) (b,false) (b,false) (a,false) ->= (a,false) (b,false) (b,false) (b,false) (b,false) (a,false) (b,false) (b,false) (a,false) (b,false) (b,false) (b,false) (b,false) (a,false) }
18.85/5.09	
18.85/5.09	
18.85/5.09	The system is trivially terminating.
19.03/5.42	EOF