MAYBE
1035.03/297.63	MAYBE
1035.03/297.63	
1035.03/297.63	We are left with following problem, upon which TcT provides the
1035.03/297.63	certificate MAYBE.
1035.03/297.63	
1035.03/297.63	Strict Trs:
1035.03/297.63	  { -(x, 0()) -> x
1035.03/297.63	  , -(s(x), s(y)) -> -(x, y)
1035.03/297.63	  , +(0(), y) -> y
1035.03/297.63	  , +(s(x), y) -> s(+(x, y))
1035.03/297.63	  , *(x, 0()) -> 0()
1035.03/297.63	  , *(x, s(y)) -> +(x, *(x, y))
1035.03/297.63	  , p(s(x)) -> x
1035.03/297.63	  , f(s(x)) -> f(-(p(*(s(x), s(x))), *(s(x), s(x)))) }
1035.03/297.63	Obligation:
1035.03/297.63	  innermost runtime complexity
1035.03/297.63	Answer:
1035.03/297.63	  MAYBE
1035.03/297.63	
1035.03/297.63	None of the processors succeeded.
1035.03/297.63	
1035.03/297.63	Details of failed attempt(s):
1035.03/297.63	-----------------------------
1035.03/297.63	1) 'empty' failed due to the following reason:
1035.03/297.63	   
1035.03/297.63	   Empty strict component of the problem is NOT empty.
1035.03/297.63	
1035.03/297.63	2) 'Best' failed due to the following reason:
1035.03/297.63	   
1035.03/297.63	   None of the processors succeeded.
1035.03/297.63	   
1035.03/297.63	   Details of failed attempt(s):
1035.03/297.63	   -----------------------------
1035.03/297.63	   1) 'With Problem ... (timeout of 297 seconds)' failed due to the
1035.03/297.63	      following reason:
1035.03/297.63	      
1035.03/297.63	      Computation stopped due to timeout after 297.0 seconds.
1035.03/297.63	   
1035.03/297.63	   2) 'Best' failed due to the following reason:
1035.03/297.63	      
1035.03/297.63	      None of the processors succeeded.
1035.03/297.63	      
1035.03/297.63	      Details of failed attempt(s):
1035.03/297.63	      -----------------------------
1035.03/297.63	      1) 'With Problem ... (timeout of 148 seconds) (timeout of 297
1035.03/297.63	         seconds)' failed due to the following reason:
1035.03/297.63	         
1035.03/297.63	         Computation stopped due to timeout after 148.0 seconds.
1035.03/297.63	      
1035.03/297.63	      2) 'Best' failed due to the following reason:
1035.03/297.63	         
1035.03/297.63	         None of the processors succeeded.
1035.03/297.63	         
1035.03/297.63	         Details of failed attempt(s):
1035.03/297.63	         -----------------------------
1035.03/297.63	         1) 'bsearch-popstar (timeout of 297 seconds)' failed due to the
1035.03/297.63	            following reason:
1035.03/297.63	            
1035.03/297.63	            The input cannot be shown compatible
1035.03/297.63	         
1035.03/297.63	         2) 'Polynomial Path Order (PS) (timeout of 297 seconds)' failed due
1035.03/297.63	            to the following reason:
1035.03/297.63	            
1035.03/297.63	            The input cannot be shown compatible
1035.03/297.63	         
1035.03/297.63	      
1035.03/297.63	      3) 'Fastest (timeout of 24 seconds) (timeout of 297 seconds)'
1035.03/297.63	         failed due to the following reason:
1035.03/297.63	         
1035.03/297.63	         None of the processors succeeded.
1035.03/297.63	         
1035.03/297.63	         Details of failed attempt(s):
1035.03/297.63	         -----------------------------
1035.03/297.63	         1) 'Bounds with minimal-enrichment and initial automaton 'match''
1035.03/297.63	            failed due to the following reason:
1035.03/297.63	            
1035.03/297.63	            match-boundness of the problem could not be verified.
1035.03/297.63	         
1035.03/297.63	         2) 'Bounds with perSymbol-enrichment and initial automaton 'match''
1035.03/297.63	            failed due to the following reason:
1035.03/297.63	            
1035.03/297.63	            match-boundness of the problem could not be verified.
1035.03/297.63	         
1035.03/297.63	      
1035.03/297.63	   
1035.03/297.63	
1035.03/297.63	
1035.03/297.63	Arrrr..
1035.39/297.91	EOF