MAYBE 994.96/297.17 MAYBE 994.96/297.17 994.96/297.17 We are left with following problem, upon which TcT provides the 994.96/297.17 certificate MAYBE. 994.96/297.17 994.96/297.17 Strict Trs: 994.96/297.17 { +(1(), x) -> +(+(0(), 1()), x) 994.96/297.17 , +(0(), x) -> x } 994.96/297.17 Obligation: 994.96/297.17 innermost runtime complexity 994.96/297.17 Answer: 994.96/297.17 MAYBE 994.96/297.17 994.96/297.17 None of the processors succeeded. 994.96/297.17 994.96/297.17 Details of failed attempt(s): 994.96/297.17 ----------------------------- 994.96/297.17 1) 'empty' failed due to the following reason: 994.96/297.17 994.96/297.17 Empty strict component of the problem is NOT empty. 994.96/297.17 994.96/297.17 2) 'Best' failed due to the following reason: 994.96/297.17 994.96/297.17 None of the processors succeeded. 994.96/297.17 994.96/297.17 Details of failed attempt(s): 994.96/297.17 ----------------------------- 994.96/297.17 1) 'With Problem ... (timeout of 297 seconds)' failed due to the 994.96/297.17 following reason: 994.96/297.17 994.96/297.17 Computation stopped due to timeout after 297.0 seconds. 994.96/297.17 994.96/297.17 2) 'Best' failed due to the following reason: 994.96/297.17 994.96/297.17 None of the processors succeeded. 994.96/297.17 994.96/297.17 Details of failed attempt(s): 994.96/297.17 ----------------------------- 994.96/297.17 1) 'Fastest (timeout of 24 seconds) (timeout of 297 seconds)' 994.96/297.17 failed due to the following reason: 994.96/297.17 994.96/297.17 Computation stopped due to timeout after 24.0 seconds. 994.96/297.17 994.96/297.17 2) 'With Problem ... (timeout of 148 seconds) (timeout of 297 994.96/297.17 seconds)' failed due to the following reason: 994.96/297.17 994.96/297.17 The weightgap principle applies (using the following nonconstant 994.96/297.17 growth matrix-interpretation) 994.96/297.17 994.96/297.17 The following argument positions are usable: 994.96/297.17 Uargs(+) = {1} 994.96/297.17 994.96/297.17 TcT has computed the following matrix interpretation satisfying 994.96/297.17 not(EDA) and not(IDA(1)). 994.96/297.17 994.96/297.17 [+](x1, x2) = [1] x1 + [1] x2 + [0] 994.96/297.17 994.96/297.17 [1] = [0] 994.96/297.17 994.96/297.17 [0] = [1] 994.96/297.17 994.96/297.17 The order satisfies the following ordering constraints: 994.96/297.17 994.96/297.17 [+(1(), x)] = [1] x + [0] 994.96/297.17 ? [1] x + [1] 994.96/297.17 = [+(+(0(), 1()), x)] 994.96/297.17 994.96/297.17 [+(0(), x)] = [1] x + [1] 994.96/297.17 > [1] x + [0] 994.96/297.17 = [x] 994.96/297.17 994.96/297.17 994.96/297.17 Further, it can be verified that all rules not oriented are covered by the weightgap condition. 994.96/297.17 994.96/297.17 We are left with following problem, upon which TcT provides the 994.96/297.17 certificate MAYBE. 994.96/297.17 994.96/297.17 Strict Trs: { +(1(), x) -> +(+(0(), 1()), x) } 994.96/297.17 Weak Trs: { +(0(), x) -> x } 994.96/297.17 Obligation: 994.96/297.17 innermost runtime complexity 994.96/297.17 Answer: 994.96/297.17 MAYBE 994.96/297.17 994.96/297.17 None of the processors succeeded. 994.96/297.17 994.96/297.17 Details of failed attempt(s): 994.96/297.17 ----------------------------- 994.96/297.17 1) 'empty' failed due to the following reason: 994.96/297.17 994.96/297.17 Empty strict component of the problem is NOT empty. 994.96/297.17 994.96/297.17 2) 'With Problem ...' failed due to the following reason: 994.96/297.17 994.96/297.17 None of the processors succeeded. 994.96/297.17 994.96/297.17 Details of failed attempt(s): 994.96/297.17 ----------------------------- 994.96/297.17 1) 'empty' failed due to the following reason: 994.96/297.17 994.96/297.17 Empty strict component of the problem is NOT empty. 994.96/297.17 994.96/297.17 2) 'Fastest' failed due to the following reason: 994.96/297.17 994.96/297.17 None of the processors succeeded. 994.96/297.17 994.96/297.17 Details of failed attempt(s): 994.96/297.17 ----------------------------- 994.96/297.17 1) 'With Problem ...' failed due to the following reason: 994.96/297.17 994.96/297.17 None of the processors succeeded. 994.96/297.17 994.96/297.17 Details of failed attempt(s): 994.96/297.17 ----------------------------- 994.96/297.17 1) 'empty' failed due to the following reason: 994.96/297.17 994.96/297.17 Empty strict component of the problem is NOT empty. 994.96/297.17 994.96/297.17 2) 'With Problem ...' failed due to the following reason: 994.96/297.17 994.96/297.17 Empty strict component of the problem is NOT empty. 994.96/297.17 994.96/297.17 994.96/297.17 2) 'With Problem ...' failed due to the following reason: 994.96/297.17 994.96/297.17 None of the processors succeeded. 994.96/297.17 994.96/297.17 Details of failed attempt(s): 994.96/297.17 ----------------------------- 994.96/297.17 1) 'empty' failed due to the following reason: 994.96/297.17 994.96/297.17 Empty strict component of the problem is NOT empty. 994.96/297.17 994.96/297.17 2) 'With Problem ...' failed due to the following reason: 994.96/297.17 994.96/297.17 None of the processors succeeded. 994.96/297.17 994.96/297.17 Details of failed attempt(s): 994.96/297.17 ----------------------------- 994.96/297.17 1) 'empty' failed due to the following reason: 994.96/297.17 994.96/297.17 Empty strict component of the problem is NOT empty. 994.96/297.17 994.96/297.17 2) 'With Problem ...' failed due to the following reason: 994.96/297.17 994.96/297.17 None of the processors succeeded. 994.96/297.17 994.96/297.17 Details of failed attempt(s): 994.96/297.17 ----------------------------- 994.96/297.17 1) 'empty' failed due to the following reason: 994.96/297.17 994.96/297.17 Empty strict component of the problem is NOT empty. 994.96/297.17 994.96/297.17 2) 'With Problem ...' failed due to the following reason: 994.96/297.17 994.96/297.17 Empty strict component of the problem is NOT empty. 994.96/297.17 994.96/297.17 994.96/297.17 994.96/297.17 994.96/297.17 994.96/297.17 994.96/297.17 994.96/297.17 3) 'Best' failed due to the following reason: 994.96/297.17 994.96/297.17 None of the processors succeeded. 994.96/297.17 994.96/297.17 Details of failed attempt(s): 994.96/297.17 ----------------------------- 994.96/297.17 1) 'bsearch-popstar (timeout of 297 seconds)' failed due to the 994.96/297.17 following reason: 994.96/297.17 994.96/297.17 The input cannot be shown compatible 994.96/297.17 994.96/297.17 2) 'Polynomial Path Order (PS) (timeout of 297 seconds)' failed due 994.96/297.17 to the following reason: 994.96/297.17 994.96/297.17 The input cannot be shown compatible 994.96/297.17 994.96/297.17 994.96/297.17 994.96/297.17 994.96/297.17 994.96/297.17 Arrrr.. 996.37/298.36 EOF