TIMEOUT We are left with following problem, upon which TcT provides the certificate TIMEOUT. Strict Trs: { 1024() -> 1024_1(0()) , 1024_1(x) -> if(lt(x, 10()), x) , if(true(), x) -> double(1024_1(s(x))) , if(false(), x) -> s(0()) , lt(x, 0()) -> false() , lt(0(), s(y)) -> true() , lt(s(x), s(y)) -> lt(x, y) , 10() -> double(s(double(s(s(0()))))) , double(0()) -> 0() , double(s(x)) -> s(s(double(x))) } Obligation: innermost runtime complexity Answer: TIMEOUT Computation stopped due to timeout after 60.0 seconds. Arrrr..