MAYBE
1031.41/297.08	MAYBE
1031.41/297.08	
1031.41/297.08	We are left with following problem, upon which TcT provides the
1031.41/297.08	certificate MAYBE.
1031.41/297.08	
1031.41/297.08	Strict Trs:
1031.41/297.08	  { isEmpty(cons(x, xs)) -> false()
1031.41/297.08	  , isEmpty(nil()) -> true()
1031.41/297.08	  , isZero(0()) -> true()
1031.41/297.08	  , isZero(s(x)) -> false()
1031.41/297.08	  , head(cons(x, xs)) -> x
1031.41/297.08	  , tail(cons(x, xs)) -> xs
1031.41/297.08	  , tail(nil()) -> nil()
1031.41/297.08	  , p(0()) -> 0()
1031.41/297.08	  , p(s(0())) -> 0()
1031.41/297.08	  , p(s(s(x))) -> s(p(s(x)))
1031.41/297.08	  , inc(0()) -> s(0())
1031.41/297.08	  , inc(s(x)) -> s(inc(x))
1031.41/297.08	  , sumList(xs, y) ->
1031.41/297.08	    if(isEmpty(xs),
1031.41/297.08	       isZero(head(xs)),
1031.41/297.08	       y,
1031.41/297.08	       tail(xs),
1031.41/297.08	       cons(p(head(xs)), tail(xs)),
1031.41/297.08	       inc(y))
1031.41/297.08	  , if(false(), false(), y, xs, ys, x) -> sumList(ys, x)
1031.41/297.08	  , if(false(), true(), y, xs, ys, x) -> sumList(xs, y)
1031.41/297.08	  , if(true(), b, y, xs, ys, x) -> y
1031.41/297.08	  , sum(xs) -> sumList(xs, 0()) }
1031.41/297.08	Obligation:
1031.41/297.08	  innermost runtime complexity
1031.41/297.08	Answer:
1031.41/297.08	  MAYBE
1031.41/297.08	
1031.41/297.08	None of the processors succeeded.
1031.41/297.08	
1031.41/297.08	Details of failed attempt(s):
1031.41/297.08	-----------------------------
1031.41/297.08	1) 'empty' failed due to the following reason:
1031.41/297.08	   
1031.41/297.08	   Empty strict component of the problem is NOT empty.
1031.41/297.08	
1031.41/297.08	2) 'Best' failed due to the following reason:
1031.41/297.08	   
1031.41/297.08	   None of the processors succeeded.
1031.41/297.08	   
1031.41/297.08	   Details of failed attempt(s):
1031.41/297.08	   -----------------------------
1031.41/297.08	   1) 'With Problem ... (timeout of 297 seconds)' failed due to the
1031.41/297.08	      following reason:
1031.41/297.08	      
1031.41/297.08	      Computation stopped due to timeout after 297.0 seconds.
1031.41/297.08	   
1031.41/297.08	   2) 'Best' failed due to the following reason:
1031.41/297.08	      
1031.41/297.08	      None of the processors succeeded.
1031.41/297.08	      
1031.41/297.08	      Details of failed attempt(s):
1031.41/297.08	      -----------------------------
1031.41/297.08	      1) 'With Problem ... (timeout of 148 seconds) (timeout of 297
1031.41/297.08	         seconds)' failed due to the following reason:
1031.41/297.08	         
1031.41/297.08	         Computation stopped due to timeout after 148.0 seconds.
1031.41/297.08	      
1031.41/297.08	      2) 'Best' failed due to the following reason:
1031.41/297.08	         
1031.41/297.08	         None of the processors succeeded.
1031.41/297.08	         
1031.41/297.08	         Details of failed attempt(s):
1031.41/297.08	         -----------------------------
1031.41/297.08	         1) 'bsearch-popstar (timeout of 297 seconds)' failed due to the
1031.41/297.08	            following reason:
1031.41/297.08	            
1031.41/297.08	            The input cannot be shown compatible
1031.41/297.08	         
1031.41/297.08	         2) 'Polynomial Path Order (PS) (timeout of 297 seconds)' failed due
1031.41/297.08	            to the following reason:
1031.41/297.08	            
1031.41/297.08	            The input cannot be shown compatible
1031.41/297.08	         
1031.41/297.08	      
1031.41/297.08	      3) 'Fastest (timeout of 24 seconds) (timeout of 297 seconds)'
1031.41/297.08	         failed due to the following reason:
1031.41/297.08	         
1031.41/297.08	         None of the processors succeeded.
1031.41/297.08	         
1031.41/297.08	         Details of failed attempt(s):
1031.41/297.08	         -----------------------------
1031.41/297.08	         1) 'Bounds with minimal-enrichment and initial automaton 'match''
1031.41/297.08	            failed due to the following reason:
1031.41/297.08	            
1031.41/297.08	            match-boundness of the problem could not be verified.
1031.41/297.08	         
1031.41/297.08	         2) 'Bounds with perSymbol-enrichment and initial automaton 'match''
1031.41/297.08	            failed due to the following reason:
1031.41/297.08	            
1031.41/297.08	            match-boundness of the problem could not be verified.
1031.41/297.08	         
1031.41/297.08	      
1031.41/297.08	   
1031.41/297.08	
1031.41/297.08	
1031.41/297.08	Arrrr..
1032.24/297.61	EOF