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