MAYBE
810.04/297.58	MAYBE
810.04/297.58	
810.04/297.58	We are left with following problem, upon which TcT provides the
810.04/297.58	certificate MAYBE.
810.04/297.58	
810.04/297.58	Strict Trs:
810.04/297.58	  { lessElements(l, t) -> lessE(l, t, 0())
810.04/297.58	  , lessE(l, t, n) ->
810.04/297.58	    if(le(length(l), n), le(length(toList(t)), n), l, t, n)
810.04/297.58	  , if(true(), b, l, t, n) -> l
810.04/297.58	  , if(false(), true(), l, t, n) -> t
810.04/297.58	  , if(false(), false(), l, t, n) -> lessE(l, t, s(n))
810.04/297.58	  , le(0(), m) -> true()
810.04/297.58	  , le(s(n), 0()) -> false()
810.04/297.58	  , le(s(n), s(m)) -> le(n, m)
810.04/297.58	  , length(nil()) -> 0()
810.04/297.58	  , length(cons(n, l)) -> s(length(l))
810.04/297.58	  , toList(leaf()) -> nil()
810.04/297.58	  , toList(node(t1, n, t2)) ->
810.04/297.58	    append(toList(t1), cons(n, toList(t2)))
810.04/297.58	  , append(nil(), l2) -> l2
810.04/297.58	  , append(cons(n, l1), l2) -> cons(n, append(l1, l2))
810.04/297.58	  , a() -> c()
810.04/297.58	  , a() -> d() }
810.04/297.58	Obligation:
810.04/297.58	  innermost runtime complexity
810.04/297.58	Answer:
810.04/297.58	  MAYBE
810.04/297.58	
810.04/297.58	None of the processors succeeded.
810.04/297.58	
810.04/297.58	Details of failed attempt(s):
810.04/297.58	-----------------------------
810.04/297.58	1) 'empty' failed due to the following reason:
810.04/297.58	   
810.04/297.58	   Empty strict component of the problem is NOT empty.
810.04/297.58	
810.04/297.58	2) 'Best' failed due to the following reason:
810.04/297.58	   
810.04/297.58	   None of the processors succeeded.
810.04/297.58	   
810.04/297.58	   Details of failed attempt(s):
810.04/297.58	   -----------------------------
810.04/297.58	   1) 'With Problem ... (timeout of 297 seconds)' failed due to the
810.04/297.58	      following reason:
810.04/297.58	      
810.04/297.58	      Computation stopped due to timeout after 297.0 seconds.
810.04/297.58	   
810.04/297.58	   2) 'Best' failed due to the following reason:
810.04/297.58	      
810.04/297.58	      None of the processors succeeded.
810.04/297.58	      
810.04/297.58	      Details of failed attempt(s):
810.04/297.58	      -----------------------------
810.04/297.58	      1) 'With Problem ... (timeout of 148 seconds) (timeout of 297
810.04/297.58	         seconds)' failed due to the following reason:
810.04/297.58	         
810.04/297.58	         Computation stopped due to timeout after 148.0 seconds.
810.04/297.58	      
810.04/297.58	      2) 'Best' failed due to the following reason:
810.04/297.58	         
810.04/297.58	         None of the processors succeeded.
810.04/297.58	         
810.04/297.58	         Details of failed attempt(s):
810.04/297.58	         -----------------------------
810.04/297.58	         1) 'Polynomial Path Order (PS) (timeout of 297 seconds)' failed due
810.04/297.58	            to the following reason:
810.04/297.58	            
810.04/297.58	            The input cannot be shown compatible
810.04/297.58	         
810.04/297.58	         2) 'bsearch-popstar (timeout of 297 seconds)' failed due to the
810.04/297.58	            following reason:
810.04/297.58	            
810.04/297.58	            The input cannot be shown compatible
810.04/297.58	         
810.04/297.58	      
810.04/297.58	      3) 'Fastest (timeout of 24 seconds) (timeout of 297 seconds)'
810.04/297.58	         failed due to the following reason:
810.04/297.58	         
810.04/297.58	         None of the processors succeeded.
810.04/297.58	         
810.04/297.58	         Details of failed attempt(s):
810.04/297.58	         -----------------------------
810.04/297.58	         1) 'Bounds with minimal-enrichment and initial automaton 'match''
810.04/297.58	            failed due to the following reason:
810.04/297.58	            
810.04/297.58	            match-boundness of the problem could not be verified.
810.04/297.58	         
810.04/297.58	         2) 'Bounds with perSymbol-enrichment and initial automaton 'match''
810.04/297.58	            failed due to the following reason:
810.04/297.58	            
810.04/297.58	            match-boundness of the problem could not be verified.
810.04/297.58	         
810.04/297.58	      
810.04/297.58	   
810.04/297.58	
810.04/297.58	
810.04/297.58	Arrrr..
810.53/297.73	EOF