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