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