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