0.00/0.01	YES
0.00/0.01	
0.00/0.01	Problem 1: 
0.00/0.01	
0.00/0.01	(VAR v_NonEmpty:S x:S y:S z:S)
0.00/0.01	(RULES
0.00/0.01	f(x:S) -> g(x:S,y:S,z:S) | h(a,x:S) ->* i(y:S), h(a,y:S) ->* i(z:S)
0.00/0.01	h(a,a) -> i(b)
0.00/0.01	h(a,b) -> i(c)
0.00/0.01	h(b,b) -> i(d)
0.00/0.01	)
0.00/0.01	
0.00/0.01	Problem 1: 
0.00/0.01	Valid CTRS Processor:
0.00/0.01	-> Rules:
0.00/0.01	 f(x:S) -> g(x:S,y:S,z:S) | h(a,x:S) ->* i(y:S), h(a,y:S) ->* i(z:S)
0.00/0.01	 h(a,a) -> i(b)
0.00/0.01	 h(a,b) -> i(c)
0.00/0.01	 h(b,b) -> i(d)
0.00/0.01	-> The system is a deterministic 3-CTRS.
0.00/0.01	
0.00/0.01	Problem 1: 
0.00/0.01	
0.00/0.01	Dependency Pairs Processor:
0.00/0.01	
0.00/0.01	Conditional Termination Problem 1:
0.00/0.01	-> Pairs:
0.00/0.01	 Empty
0.00/0.01	-> QPairs:
0.00/0.01	 Empty
0.00/0.01	-> Rules:
0.00/0.01	 f(x:S) -> g(x:S,y:S,z:S) | h(a,x:S) ->* i(y:S), h(a,y:S) ->* i(z:S)
0.00/0.01	 h(a,a) -> i(b)
0.00/0.01	 h(a,b) -> i(c)
0.00/0.01	 h(b,b) -> i(d)
0.00/0.01	
0.00/0.01	Conditional Termination Problem 2:
0.00/0.01	-> Pairs:
0.00/0.01	 F(x:S) -> H(a,x:S)
0.00/0.01	 F(x:S) -> H(a,y:S) | h(a,x:S) ->* i(y:S)
0.00/0.01	-> QPairs:
0.00/0.01	 Empty
0.00/0.01	-> Rules:
0.00/0.01	 f(x:S) -> g(x:S,y:S,z:S) | h(a,x:S) ->* i(y:S), h(a,y:S) ->* i(z:S)
0.00/0.01	 h(a,a) -> i(b)
0.00/0.01	 h(a,b) -> i(c)
0.00/0.01	 h(b,b) -> i(d)
0.00/0.01	
0.00/0.01	
0.00/0.01	The problem is decomposed in 2 subproblems.
0.00/0.01	
0.00/0.01	Problem 1.1: 
0.00/0.01	
0.00/0.01	SCC Processor:
0.00/0.01	-> Pairs:
0.00/0.01	 Empty
0.00/0.01	-> QPairs:
0.00/0.01	 Empty
0.00/0.01	-> Rules:
0.00/0.01	 f(x:S) -> g(x:S,y:S,z:S) | h(a,x:S) ->* i(y:S), h(a,y:S) ->* i(z:S)
0.00/0.01	 h(a,a) -> i(b)
0.00/0.01	 h(a,b) -> i(c)
0.00/0.01	 h(b,b) -> i(d)
0.00/0.01	->Strongly Connected Components:
0.00/0.01	 There is no strongly connected component
0.00/0.01	
0.00/0.01	The problem is finite.
0.00/0.01	
0.00/0.01	Problem 1.2: 
0.00/0.01	
0.00/0.01	SCC Processor:
0.00/0.01	-> Pairs:
0.00/0.01	 F(x:S) -> H(a,x:S)
0.00/0.01	 F(x:S) -> H(a,y:S) | h(a,x:S) ->* i(y:S)
0.00/0.01	-> QPairs:
0.00/0.01	 Empty
0.00/0.01	-> Rules:
0.00/0.01	 f(x:S) -> g(x:S,y:S,z:S) | h(a,x:S) ->* i(y:S), h(a,y:S) ->* i(z:S)
0.00/0.01	 h(a,a) -> i(b)
0.00/0.01	 h(a,b) -> i(c)
0.00/0.01	 h(b,b) -> i(d)
0.00/0.01	->Strongly Connected Components:
0.00/0.01	 There is no strongly connected component
0.00/0.01	
0.00/0.01	The problem is finite.
0.00/0.01	EOF