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