MAYBE
601.58/297.12	MAYBE
601.58/297.12	
601.58/297.12	We are left with following problem, upon which TcT provides the
601.58/297.12	certificate MAYBE.
601.58/297.12	
601.58/297.12	Strict Trs:
601.58/297.12	  { part(x, Nil(), xs1, xs2) -> app(quicksort(xs1), quicksort(xs2))
601.58/297.12	  , part(x', Cons(x, xs), xs1, xs2) ->
601.58/297.12	    part[Ite][True][Ite](>(x', x), x', Cons(x, xs), xs1, xs2)
601.58/297.12	  , app(Nil(), ys) -> ys
601.58/297.12	  , app(Cons(x, xs), ys) -> Cons(x, app(xs, ys))
601.58/297.12	  , quicksort(Nil()) -> Nil()
601.58/297.12	  , quicksort(Cons(x, Nil())) -> Cons(x, Nil())
601.58/297.12	  , quicksort(Cons(x, Cons(x', xs))) ->
601.58/297.12	    part(x, Cons(x, Cons(x', xs)), Cons(x, Nil()), Nil())
601.58/297.12	  , notEmpty(Nil()) -> False()
601.58/297.12	  , notEmpty(Cons(x, xs)) -> True()
601.58/297.12	  , goal(xs) -> quicksort(xs) }
601.58/297.12	Weak Trs:
601.58/297.12	  { part[Ite][True][Ite](True(), x', Cons(x, xs), xs1, xs2) ->
601.58/297.12	    part(x', xs, Cons(x, xs1), xs2)
601.58/297.12	  , part[Ite][True][Ite](False(), x', Cons(x, xs), xs1, xs2) ->
601.58/297.12	    part[Ite][True][Ite][False][Ite](<(x', x),
601.58/297.12	                                     x',
601.58/297.12	                                     Cons(x, xs),
601.58/297.12	                                     xs1,
601.58/297.12	                                     xs2)
601.58/297.12	  , >(S(x), S(y)) -> >(x, y)
601.58/297.12	  , >(S(x), 0()) -> True()
601.58/297.12	  , >(0(), y) -> False()
601.58/297.12	  , <(x, 0()) -> False()
601.58/297.12	  , <(S(x), S(y)) -> <(x, y)
601.58/297.12	  , <(0(), S(y)) -> True() }
601.58/297.12	Obligation:
601.58/297.12	  innermost runtime complexity
601.58/297.12	Answer:
601.58/297.12	  MAYBE
601.58/297.12	
601.58/297.12	None of the processors succeeded.
601.58/297.12	
601.58/297.12	Details of failed attempt(s):
601.58/297.12	-----------------------------
601.58/297.12	1) 'empty' failed due to the following reason:
601.58/297.12	   
601.58/297.12	   Empty strict component of the problem is NOT empty.
601.58/297.12	
601.58/297.12	2) 'Best' failed due to the following reason:
601.58/297.12	   
601.58/297.12	   None of the processors succeeded.
601.58/297.12	   
601.58/297.12	   Details of failed attempt(s):
601.58/297.12	   -----------------------------
601.58/297.12	   1) 'With Problem ... (timeout of 297 seconds)' failed due to the
601.58/297.12	      following reason:
601.58/297.12	      
601.58/297.12	      Computation stopped due to timeout after 297.0 seconds.
601.58/297.12	   
601.58/297.12	   2) 'Best' failed due to the following reason:
601.58/297.12	      
601.58/297.12	      None of the processors succeeded.
601.58/297.12	      
601.58/297.12	      Details of failed attempt(s):
601.58/297.12	      -----------------------------
601.58/297.12	      1) 'With Problem ... (timeout of 148 seconds) (timeout of 297
601.58/297.12	         seconds)' failed due to the following reason:
601.58/297.12	         
601.58/297.12	         Computation stopped due to timeout after 148.0 seconds.
601.58/297.12	      
601.58/297.12	      2) 'Best' failed due to the following reason:
601.58/297.12	         
601.58/297.12	         None of the processors succeeded.
601.58/297.12	         
601.58/297.12	         Details of failed attempt(s):
601.58/297.12	         -----------------------------
601.58/297.12	         1) 'Polynomial Path Order (PS) (timeout of 297 seconds)' failed due
601.58/297.12	            to the following reason:
601.58/297.12	            
601.58/297.12	            The input cannot be shown compatible
601.58/297.12	         
601.58/297.12	         2) 'bsearch-popstar (timeout of 297 seconds)' failed due to the
601.58/297.12	            following reason:
601.58/297.12	            
601.58/297.12	            The input cannot be shown compatible
601.58/297.12	         
601.58/297.12	      
601.58/297.12	      3) 'Fastest (timeout of 24 seconds) (timeout of 297 seconds)'
601.58/297.12	         failed due to the following reason:
601.58/297.12	         
601.58/297.12	         None of the processors succeeded.
601.58/297.12	         
601.58/297.12	         Details of failed attempt(s):
601.58/297.12	         -----------------------------
601.58/297.12	         1) 'Bounds with minimal-enrichment and initial automaton 'match''
601.58/297.12	            failed due to the following reason:
601.58/297.12	            
601.58/297.12	            match-boundness of the problem could not be verified.
601.58/297.12	         
601.58/297.12	         2) 'Bounds with perSymbol-enrichment and initial automaton 'match''
601.58/297.12	            failed due to the following reason:
601.58/297.12	            
601.58/297.12	            match-boundness of the problem could not be verified.
601.58/297.12	         
601.58/297.12	      
601.58/297.12	   
601.58/297.12	
601.58/297.12	
601.58/297.12	Arrrr..
601.58/297.23	EOF