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