YES(?,O(n^1))
0.00/0.13	YES(?,O(n^1))
0.00/0.13	
0.00/0.13	We are left with following problem, upon which TcT provides the
0.00/0.13	certificate YES(?,O(n^1)).
0.00/0.13	
0.00/0.13	Strict Trs:
0.00/0.13	  { and(tt(), X) -> activate(X)
0.00/0.13	  , activate(X) -> X
0.00/0.13	  , plus(N, 0()) -> N
0.00/0.13	  , plus(N, s(M)) -> s(plus(N, M)) }
0.00/0.13	Obligation:
0.00/0.13	  runtime complexity
0.00/0.13	Answer:
0.00/0.13	  YES(?,O(n^1))
0.00/0.13	
0.00/0.13	The input is overlay and right-linear. Switching to innermost
0.00/0.13	rewriting.
0.00/0.13	
0.00/0.13	We are left with following problem, upon which TcT provides the
0.00/0.13	certificate YES(?,O(n^1)).
0.00/0.13	
0.00/0.13	Strict Trs:
0.00/0.13	  { and(tt(), X) -> activate(X)
0.00/0.13	  , activate(X) -> X
0.00/0.13	  , plus(N, 0()) -> N
0.00/0.13	  , plus(N, s(M)) -> s(plus(N, M)) }
0.00/0.13	Obligation:
0.00/0.13	  innermost runtime complexity
0.00/0.13	Answer:
0.00/0.13	  YES(?,O(n^1))
0.00/0.13	
0.00/0.13	The input was oriented with the instance of 'Small Polynomial Path
0.00/0.13	Order (PS,1-bounded)' as induced by the safe mapping
0.00/0.13	
0.00/0.13	 safe(and) = {1, 2}, safe(tt) = {}, safe(activate) = {1},
0.00/0.13	 safe(plus) = {}, safe(0) = {}, safe(s) = {1}
0.00/0.13	
0.00/0.13	and precedence
0.00/0.13	
0.00/0.13	 and > activate, plus > activate, and ~ plus .
0.00/0.13	
0.00/0.13	Following symbols are considered recursive:
0.00/0.13	
0.00/0.13	 {and, plus}
0.00/0.13	
0.00/0.13	The recursion depth is 1.
0.00/0.13	
0.00/0.13	For your convenience, here are the satisfied ordering constraints:
0.00/0.13	
0.00/0.13	    and(; tt(),  X) > activate(; X)    
0.00/0.13	                                       
0.00/0.13	      activate(; X) > X                
0.00/0.13	                                       
0.00/0.13	     plus(N,  0();) > N                
0.00/0.13	                                       
0.00/0.13	  plus(N,  s(; M);) > s(; plus(N,  M;))
0.00/0.13	                                       
0.00/0.13	
0.00/0.13	Hurray, we answered YES(?,O(n^1))
0.00/0.13	EOF