MAYBE
888.16/297.69	MAYBE
888.16/297.69	
888.16/297.69	We are left with following problem, upon which TcT provides the
888.16/297.69	certificate MAYBE.
888.16/297.69	
888.16/297.69	Strict Trs:
888.16/297.69	  { prod(xs) -> prodIter(xs, s(0()))
888.16/297.69	  , prodIter(xs, x) -> ifProd(isempty(xs), xs, x)
888.16/297.69	  , ifProd(true(), xs, x) -> x
888.16/297.69	  , ifProd(false(), xs, x) -> prodIter(tail(xs), times(x, head(xs)))
888.16/297.69	  , isempty(nil()) -> true()
888.16/297.69	  , isempty(cons(x, xs)) -> false()
888.16/297.69	  , tail(nil()) -> nil()
888.16/297.69	  , tail(cons(x, xs)) -> xs
888.16/297.69	  , times(x, y) -> timesIter(x, y, 0(), 0())
888.16/297.69	  , head(nil()) -> error()
888.16/297.69	  , head(cons(x, xs)) -> x
888.16/297.69	  , plus(s(x), y) -> s(plus(x, y))
888.16/297.69	  , plus(0(), y) -> y
888.16/297.69	  , timesIter(x, y, z, u) -> ifTimes(ge(u, x), x, y, z, u)
888.16/297.69	  , ifTimes(true(), x, y, z, u) -> z
888.16/297.69	  , ifTimes(false(), x, y, z, u) -> timesIter(x, y, plus(y, z), s(u))
888.16/297.69	  , ge(x, 0()) -> true()
888.16/297.69	  , ge(s(x), s(y)) -> ge(x, y)
888.16/297.69	  , ge(0(), s(y)) -> false()
888.16/297.69	  , a() -> b()
888.16/297.69	  , a() -> c() }
888.16/297.69	Obligation:
888.16/297.69	  innermost runtime complexity
888.16/297.69	Answer:
888.16/297.69	  MAYBE
888.16/297.69	
888.16/297.69	None of the processors succeeded.
888.16/297.69	
888.16/297.69	Details of failed attempt(s):
888.16/297.69	-----------------------------
888.16/297.69	1) 'empty' failed due to the following reason:
888.16/297.69	   
888.16/297.69	   Empty strict component of the problem is NOT empty.
888.16/297.69	
888.16/297.69	2) 'Best' failed due to the following reason:
888.16/297.69	   
888.16/297.69	   None of the processors succeeded.
888.16/297.69	   
888.16/297.69	   Details of failed attempt(s):
888.16/297.69	   -----------------------------
888.16/297.69	   1) 'With Problem ... (timeout of 297 seconds)' failed due to the
888.16/297.69	      following reason:
888.16/297.69	      
888.16/297.69	      Computation stopped due to timeout after 297.0 seconds.
888.16/297.69	   
888.16/297.69	   2) 'Best' failed due to the following reason:
888.16/297.69	      
888.16/297.69	      None of the processors succeeded.
888.16/297.69	      
888.16/297.69	      Details of failed attempt(s):
888.16/297.69	      -----------------------------
888.16/297.69	      1) 'With Problem ... (timeout of 148 seconds) (timeout of 297
888.16/297.69	         seconds)' failed due to the following reason:
888.16/297.69	         
888.16/297.69	         Computation stopped due to timeout after 148.0 seconds.
888.16/297.69	      
888.16/297.69	      2) 'Best' failed due to the following reason:
888.16/297.69	         
888.16/297.69	         None of the processors succeeded.
888.16/297.69	         
888.16/297.69	         Details of failed attempt(s):
888.16/297.69	         -----------------------------
888.16/297.69	         1) 'bsearch-popstar (timeout of 297 seconds)' failed due to the
888.16/297.69	            following reason:
888.16/297.69	            
888.16/297.69	            The input cannot be shown compatible
888.16/297.69	         
888.16/297.69	         2) 'Polynomial Path Order (PS) (timeout of 297 seconds)' failed due
888.16/297.69	            to the following reason:
888.16/297.69	            
888.16/297.69	            The input cannot be shown compatible
888.16/297.69	         
888.16/297.69	      
888.16/297.69	      3) 'Fastest (timeout of 24 seconds) (timeout of 297 seconds)'
888.16/297.69	         failed due to the following reason:
888.16/297.69	         
888.16/297.69	         None of the processors succeeded.
888.16/297.69	         
888.16/297.69	         Details of failed attempt(s):
888.16/297.69	         -----------------------------
888.16/297.69	         1) 'Bounds with minimal-enrichment and initial automaton 'match''
888.16/297.69	            failed due to the following reason:
888.16/297.69	            
888.16/297.69	            match-boundness of the problem could not be verified.
888.16/297.69	         
888.16/297.69	         2) 'Bounds with perSymbol-enrichment and initial automaton 'match''
888.16/297.69	            failed due to the following reason:
888.16/297.69	            
888.16/297.69	            match-boundness of the problem could not be verified.
888.16/297.69	         
888.16/297.69	      
888.16/297.69	   
888.16/297.69	
888.16/297.69	
888.16/297.69	Arrrr..
888.73/297.96	EOF