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