MAYBE
1047.29/297.03	MAYBE
1047.29/297.03	
1047.29/297.03	We are left with following problem, upon which TcT provides the
1047.29/297.03	certificate MAYBE.
1047.29/297.03	
1047.29/297.03	Strict Trs:
1047.29/297.03	  { nesteql(Nil()) ->
1047.29/297.03	    Cons(Nil(),
1047.29/297.03	         Cons(Nil(),
1047.29/297.03	              Cons(Nil(),
1047.29/297.03	                   Cons(Nil(),
1047.29/297.03	                        Cons(Nil(),
1047.29/297.03	                             Cons(Nil(),
1047.29/297.03	                                  Cons(Nil(),
1047.29/297.03	                                       Cons(Nil(),
1047.29/297.03	                                            Cons(Nil(),
1047.29/297.03	                                                 Cons(Nil(),
1047.29/297.03	                                                      Cons(Nil(),
1047.29/297.03	                                                           Cons(Nil(),
1047.29/297.03	                                                                Cons(Nil(),
1047.29/297.03	                                                                     Cons(Nil(),
1047.29/297.03	                                                                          Cons(Nil(),
1047.29/297.03	                                                                               Cons(Nil(),
1047.29/297.03	                                                                                    Cons(Nil(),
1047.29/297.03	                                                                                         Nil())))))))))))))))))
1047.29/297.03	  , nesteql(Cons(x, xs)) -> nesteql(eql(Cons(x, xs)))
1047.29/297.03	  , eql(Nil()) -> Nil()
1047.29/297.03	  , eql(Cons(x, xs)) -> eql(Cons(x, xs))
1047.29/297.03	  , number17(n) ->
1047.29/297.03	    Cons(Nil(),
1047.29/297.03	         Cons(Nil(),
1047.29/297.03	              Cons(Nil(),
1047.29/297.03	                   Cons(Nil(),
1047.29/297.03	                        Cons(Nil(),
1047.29/297.03	                             Cons(Nil(),
1047.29/297.03	                                  Cons(Nil(),
1047.29/297.03	                                       Cons(Nil(),
1047.29/297.03	                                            Cons(Nil(),
1047.29/297.03	                                                 Cons(Nil(),
1047.29/297.03	                                                      Cons(Nil(),
1047.29/297.03	                                                           Cons(Nil(),
1047.29/297.03	                                                                Cons(Nil(),
1047.29/297.03	                                                                     Cons(Nil(),
1047.29/297.03	                                                                          Cons(Nil(),
1047.29/297.03	                                                                               Cons(Nil(),
1047.29/297.03	                                                                                    Cons(Nil(),
1047.29/297.03	                                                                                         Nil())))))))))))))))))
1047.29/297.03	  , goal(x) -> nesteql(x) }
1047.29/297.03	Obligation:
1047.29/297.03	  innermost runtime complexity
1047.29/297.03	Answer:
1047.29/297.03	  MAYBE
1047.29/297.03	
1047.29/297.03	None of the processors succeeded.
1047.29/297.03	
1047.29/297.03	Details of failed attempt(s):
1047.29/297.03	-----------------------------
1047.29/297.03	1) 'empty' failed due to the following reason:
1047.29/297.03	   
1047.29/297.03	   Empty strict component of the problem is NOT empty.
1047.29/297.03	
1047.29/297.03	2) 'Best' failed due to the following reason:
1047.29/297.03	   
1047.29/297.03	   None of the processors succeeded.
1047.29/297.03	   
1047.29/297.03	   Details of failed attempt(s):
1047.29/297.03	   -----------------------------
1047.29/297.03	   1) 'With Problem ... (timeout of 297 seconds)' failed due to the
1047.29/297.03	      following reason:
1047.29/297.03	      
1047.29/297.03	      Computation stopped due to timeout after 297.0 seconds.
1047.29/297.03	   
1047.29/297.03	   2) 'Best' failed due to the following reason:
1047.29/297.03	      
1047.29/297.03	      None of the processors succeeded.
1047.29/297.03	      
1047.29/297.03	      Details of failed attempt(s):
1047.29/297.03	      -----------------------------
1047.29/297.03	      1) 'With Problem ... (timeout of 148 seconds) (timeout of 297
1047.29/297.03	         seconds)' failed due to the following reason:
1047.29/297.03	         
1047.29/297.03	         Computation stopped due to timeout after 148.0 seconds.
1047.29/297.03	      
1047.29/297.03	      2) 'Fastest (timeout of 24 seconds) (timeout of 297 seconds)'
1047.29/297.03	         failed due to the following reason:
1047.29/297.03	         
1047.29/297.03	         Computation stopped due to timeout after 24.0 seconds.
1047.29/297.03	      
1047.29/297.03	      3) 'Best' failed due to the following reason:
1047.29/297.03	         
1047.29/297.03	         None of the processors succeeded.
1047.29/297.03	         
1047.29/297.03	         Details of failed attempt(s):
1047.29/297.03	         -----------------------------
1047.29/297.03	         1) 'bsearch-popstar (timeout of 297 seconds)' failed due to the
1047.29/297.03	            following reason:
1047.29/297.03	            
1047.29/297.03	            The input cannot be shown compatible
1047.29/297.03	         
1047.29/297.03	         2) 'Polynomial Path Order (PS) (timeout of 297 seconds)' failed due
1047.29/297.03	            to the following reason:
1047.29/297.03	            
1047.29/297.03	            The input cannot be shown compatible
1047.29/297.03	         
1047.29/297.03	      
1047.29/297.03	   
1047.29/297.03	
1047.29/297.03	
1047.29/297.03	Arrrr..
1047.72/297.44	EOF