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