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