MAYBE
1046.59/297.04	MAYBE
1046.59/297.04	
1046.59/297.04	We are left with following problem, upon which TcT provides the
1046.59/297.04	certificate MAYBE.
1046.59/297.04	
1046.59/297.04	Strict Trs:
1046.59/297.04	  { D(t()) -> s(h())
1046.59/297.04	  , D(constant()) -> h()
1046.59/297.04	  , D(b(x, y)) -> b(D(x), D(y))
1046.59/297.04	  , D(c(x, y)) -> b(c(y, D(x)), c(x, D(y)))
1046.59/297.04	  , D(m(x, y)) -> m(D(x), D(y))
1046.59/297.04	  , D(opp(x)) -> opp(D(x))
1046.59/297.04	  , D(div(x, y)) -> m(div(D(x), y), div(c(x, D(y)), pow(y, 2())))
1046.59/297.04	  , D(pow(x, y)) ->
1046.59/297.04	    b(c(c(y, pow(x, m(y, 1()))), D(x)), c(c(pow(x, y), ln(x)), D(y)))
1046.59/297.04	  , D(ln(x)) -> div(D(x), x)
1046.59/297.04	  , b(x, h()) -> x
1046.59/297.04	  , b(s(x), s(y)) -> s(s(b(x, y)))
1046.59/297.04	  , b(h(), x) -> x
1046.59/297.04	  , b(b(x, y), z) -> b(x, b(y, z)) }
1046.59/297.04	Obligation:
1046.59/297.04	  innermost runtime complexity
1046.59/297.04	Answer:
1046.59/297.04	  MAYBE
1046.59/297.04	
1046.59/297.04	None of the processors succeeded.
1046.59/297.04	
1046.59/297.04	Details of failed attempt(s):
1046.59/297.04	-----------------------------
1046.59/297.04	1) 'empty' failed due to the following reason:
1046.59/297.04	   
1046.59/297.04	   Empty strict component of the problem is NOT empty.
1046.59/297.04	
1046.59/297.04	2) 'Best' failed due to the following reason:
1046.59/297.04	   
1046.59/297.04	   None of the processors succeeded.
1046.59/297.04	   
1046.59/297.04	   Details of failed attempt(s):
1046.59/297.04	   -----------------------------
1046.59/297.04	   1) 'With Problem ... (timeout of 297 seconds)' failed due to the
1046.59/297.04	      following reason:
1046.59/297.04	      
1046.59/297.04	      Computation stopped due to timeout after 297.0 seconds.
1046.59/297.04	   
1046.59/297.04	   2) 'Best' failed due to the following reason:
1046.59/297.04	      
1046.59/297.04	      None of the processors succeeded.
1046.59/297.04	      
1046.59/297.04	      Details of failed attempt(s):
1046.59/297.04	      -----------------------------
1046.59/297.04	      1) 'With Problem ... (timeout of 148 seconds) (timeout of 297
1046.59/297.04	         seconds)' failed due to the following reason:
1046.59/297.04	         
1046.59/297.04	         Computation stopped due to timeout after 148.0 seconds.
1046.59/297.04	      
1046.59/297.04	      2) 'Best' failed due to the following reason:
1046.59/297.04	         
1046.59/297.04	         None of the processors succeeded.
1046.59/297.04	         
1046.59/297.04	         Details of failed attempt(s):
1046.59/297.04	         -----------------------------
1046.59/297.04	         1) 'bsearch-popstar (timeout of 297 seconds)' failed due to the
1046.59/297.04	            following reason:
1046.59/297.04	            
1046.59/297.04	            The input cannot be shown compatible
1046.59/297.04	         
1046.59/297.04	         2) 'Polynomial Path Order (PS) (timeout of 297 seconds)' failed due
1046.59/297.04	            to the following reason:
1046.59/297.04	            
1046.59/297.04	            The input cannot be shown compatible
1046.59/297.04	         
1046.59/297.04	      
1046.59/297.04	      3) 'Fastest (timeout of 24 seconds) (timeout of 297 seconds)'
1046.59/297.04	         failed due to the following reason:
1046.59/297.04	         
1046.59/297.04	         None of the processors succeeded.
1046.59/297.04	         
1046.59/297.04	         Details of failed attempt(s):
1046.59/297.04	         -----------------------------
1046.59/297.04	         1) 'Bounds with minimal-enrichment and initial automaton 'match''
1046.59/297.04	            failed due to the following reason:
1046.59/297.04	            
1046.59/297.04	            match-boundness of the problem could not be verified.
1046.59/297.04	         
1046.59/297.04	         2) 'Bounds with perSymbol-enrichment and initial automaton 'match''
1046.59/297.04	            failed due to the following reason:
1046.59/297.04	            
1046.59/297.04	            match-boundness of the problem could not be verified.
1046.59/297.04	         
1046.59/297.04	      
1046.59/297.04	   
1046.59/297.04	
1046.59/297.04	
1046.59/297.04	Arrrr..
1047.00/297.41	EOF