MAYBE
755.80/297.13	MAYBE
755.80/297.13	
755.80/297.13	We are left with following problem, upon which TcT provides the
755.80/297.13	certificate MAYBE.
755.80/297.13	
755.80/297.13	Strict Trs:
755.80/297.13	  { eq(0(), 0()) -> true()
755.80/297.13	  , eq(0(), s(x)) -> false()
755.80/297.13	  , eq(s(x), 0()) -> false()
755.80/297.13	  , eq(s(x), s(y)) -> eq(x, y)
755.80/297.13	  , le(0(), y) -> true()
755.80/297.13	  , le(s(x), 0()) -> false()
755.80/297.13	  , le(s(x), s(y)) -> le(x, y)
755.80/297.13	  , app(nil(), y) -> y
755.80/297.13	  , app(add(n, x), y) -> add(n, app(x, y))
755.80/297.13	  , min(nil()) -> 0()
755.80/297.13	  , min(add(n, x)) -> minIter(add(n, x), add(n, x), 0())
755.80/297.13	  , minIter(nil(), add(n, y), m) ->
755.80/297.13	    minIter(add(n, y), add(n, y), s(m))
755.80/297.13	  , minIter(add(n, x), y, m) -> if_min(le(n, m), x, y, m)
755.80/297.13	  , if_min(true(), x, y, m) -> m
755.80/297.13	  , if_min(false(), x, y, m) -> minIter(x, y, m)
755.80/297.13	  , head(add(n, x)) -> n
755.80/297.13	  , tail(nil()) -> nil()
755.80/297.13	  , tail(add(n, x)) -> x
755.80/297.13	  , null(nil()) -> true()
755.80/297.13	  , null(add(n, x)) -> false()
755.80/297.13	  , rm(n, nil()) -> nil()
755.80/297.13	  , rm(n, add(m, x)) -> if_rm(eq(n, m), n, add(m, x))
755.80/297.13	  , if_rm(true(), n, add(m, x)) -> rm(n, x)
755.80/297.13	  , if_rm(false(), n, add(m, x)) -> add(m, rm(n, x))
755.80/297.13	  , minsort(nil(), nil()) -> nil()
755.80/297.13	  , minsort(add(n, x), y) ->
755.80/297.13	    if_minsort(eq(n, min(add(n, x))), add(n, x), y)
755.80/297.13	  , if_minsort(true(), add(n, x), y) ->
755.80/297.13	    add(n, minsort(app(rm(n, x), y), nil()))
755.80/297.13	  , if_minsort(false(), add(n, x), y) -> minsort(x, add(n, y)) }
755.80/297.13	Obligation:
755.80/297.13	  innermost runtime complexity
755.80/297.13	Answer:
755.80/297.13	  MAYBE
755.80/297.13	
755.80/297.13	None of the processors succeeded.
755.80/297.13	
755.80/297.13	Details of failed attempt(s):
755.80/297.13	-----------------------------
755.80/297.13	1) 'empty' failed due to the following reason:
755.80/297.13	   
755.80/297.13	   Empty strict component of the problem is NOT empty.
755.80/297.13	
755.80/297.13	2) 'Best' failed due to the following reason:
755.80/297.13	   
755.80/297.13	   None of the processors succeeded.
755.80/297.13	   
755.80/297.13	   Details of failed attempt(s):
755.80/297.13	   -----------------------------
755.80/297.13	   1) 'With Problem ... (timeout of 297 seconds)' failed due to the
755.80/297.13	      following reason:
755.80/297.13	      
755.80/297.13	      Computation stopped due to timeout after 297.0 seconds.
755.80/297.13	   
755.80/297.13	   2) 'Best' failed due to the following reason:
755.80/297.13	      
755.80/297.13	      None of the processors succeeded.
755.80/297.13	      
755.80/297.13	      Details of failed attempt(s):
755.80/297.13	      -----------------------------
755.80/297.13	      1) 'With Problem ... (timeout of 148 seconds) (timeout of 297
755.80/297.13	         seconds)' failed due to the following reason:
755.80/297.13	         
755.80/297.13	         Computation stopped due to timeout after 148.0 seconds.
755.80/297.13	      
755.80/297.13	      2) 'Best' failed due to the following reason:
755.80/297.13	         
755.80/297.13	         None of the processors succeeded.
755.80/297.13	         
755.80/297.13	         Details of failed attempt(s):
755.80/297.13	         -----------------------------
755.80/297.13	         1) 'Polynomial Path Order (PS) (timeout of 297 seconds)' failed due
755.80/297.13	            to the following reason:
755.80/297.13	            
755.80/297.13	            The input cannot be shown compatible
755.80/297.13	         
755.80/297.13	         2) 'bsearch-popstar (timeout of 297 seconds)' failed due to the
755.80/297.13	            following reason:
755.80/297.13	            
755.80/297.13	            The input cannot be shown compatible
755.80/297.13	         
755.80/297.13	      
755.80/297.13	      3) 'Fastest (timeout of 24 seconds) (timeout of 297 seconds)'
755.80/297.13	         failed due to the following reason:
755.80/297.13	         
755.80/297.13	         None of the processors succeeded.
755.80/297.13	         
755.80/297.13	         Details of failed attempt(s):
755.80/297.13	         -----------------------------
755.80/297.13	         1) 'Bounds with minimal-enrichment and initial automaton 'match''
755.80/297.13	            failed due to the following reason:
755.80/297.13	            
755.80/297.13	            match-boundness of the problem could not be verified.
755.80/297.13	         
755.80/297.13	         2) 'Bounds with perSymbol-enrichment and initial automaton 'match''
755.80/297.13	            failed due to the following reason:
755.80/297.13	            
755.80/297.13	            match-boundness of the problem could not be verified.
755.80/297.13	         
755.80/297.13	      
755.80/297.13	   
755.80/297.13	
755.80/297.13	
755.80/297.13	Arrrr..
755.80/297.16	EOF