MAYBE 99.60/25.37 MAYBE 99.60/25.37 99.60/25.37 We are left with following problem, upon which TcT provides the 99.60/25.37 certificate MAYBE. 99.60/25.37 99.60/25.37 Strict Trs: { f(a()) -> f(a()) } 99.60/25.37 Obligation: 99.60/25.37 innermost runtime complexity 99.60/25.37 Answer: 99.60/25.37 MAYBE 99.60/25.37 99.60/25.37 None of the processors succeeded. 99.60/25.37 99.60/25.37 Details of failed attempt(s): 99.60/25.37 ----------------------------- 99.60/25.37 1) 'empty' failed due to the following reason: 99.60/25.37 99.60/25.37 Empty strict component of the problem is NOT empty. 99.60/25.37 99.60/25.37 2) 'Best' failed due to the following reason: 99.60/25.37 99.60/25.37 None of the processors succeeded. 99.60/25.37 99.60/25.37 Details of failed attempt(s): 99.60/25.37 ----------------------------- 99.60/25.37 1) 'With Problem ... (timeout of 297 seconds)' failed due to the 99.60/25.37 following reason: 99.60/25.37 99.60/25.37 We add the following dependency tuples: 99.60/25.37 99.60/25.37 Strict DPs: { f^#(a()) -> c_1(f^#(a())) } 99.60/25.37 99.60/25.37 and mark the set of starting terms. 99.60/25.37 99.60/25.37 We are left with following problem, upon which TcT provides the 99.60/25.37 certificate MAYBE. 99.60/25.37 99.60/25.37 Strict DPs: { f^#(a()) -> c_1(f^#(a())) } 99.60/25.37 Weak Trs: { f(a()) -> f(a()) } 99.60/25.37 Obligation: 99.60/25.37 innermost runtime complexity 99.60/25.37 Answer: 99.60/25.37 MAYBE 99.60/25.37 99.60/25.37 No rule is usable, rules are removed from the input problem. 99.60/25.37 99.60/25.37 We are left with following problem, upon which TcT provides the 99.60/25.37 certificate MAYBE. 99.60/25.37 99.60/25.37 Strict DPs: { f^#(a()) -> c_1(f^#(a())) } 99.60/25.37 Obligation: 99.60/25.37 innermost runtime complexity 99.60/25.37 Answer: 99.60/25.37 MAYBE 99.60/25.37 99.60/25.37 None of the processors succeeded. 99.60/25.37 99.60/25.37 Details of failed attempt(s): 99.60/25.37 ----------------------------- 99.60/25.37 1) 'empty' failed due to the following reason: 99.60/25.37 99.60/25.37 Empty strict component of the problem is NOT empty. 99.60/25.37 99.60/25.37 2) 'With Problem ...' failed due to the following reason: 99.60/25.37 99.60/25.37 None of the processors succeeded. 99.60/25.37 99.60/25.37 Details of failed attempt(s): 99.60/25.37 ----------------------------- 99.60/25.37 1) 'empty' failed due to the following reason: 99.60/25.37 99.60/25.37 Empty strict component of the problem is NOT empty. 99.60/25.37 99.60/25.37 2) 'Fastest' failed due to the following reason: 99.60/25.37 99.60/25.37 None of the processors succeeded. 99.60/25.37 99.60/25.37 Details of failed attempt(s): 99.60/25.37 ----------------------------- 99.60/25.37 1) 'Fastest (timeout of 24 seconds)' failed due to the following 99.60/25.37 reason: 99.60/25.37 99.60/25.37 Computation stopped due to timeout after 24.0 seconds. 99.60/25.37 99.60/25.37 2) 'With Problem ...' failed due to the following reason: 99.60/25.37 99.60/25.37 None of the processors succeeded. 99.60/25.37 99.60/25.37 Details of failed attempt(s): 99.60/25.37 ----------------------------- 99.60/25.37 1) 'empty' failed due to the following reason: 99.60/25.37 99.60/25.37 Empty strict component of the problem is NOT empty. 99.60/25.37 99.60/25.37 2) 'Polynomial Path Order (PS)' failed due to the following reason: 99.60/25.37 99.60/25.37 The input cannot be shown compatible 99.60/25.37 99.60/25.37 99.60/25.37 3) 'Polynomial Path Order (PS)' failed due to the following reason: 99.60/25.37 99.60/25.37 The input cannot be shown compatible 99.60/25.37 99.60/25.37 99.60/25.37 99.60/25.37 99.60/25.37 2) 'Best' failed due to the following reason: 99.60/25.37 99.60/25.37 None of the processors succeeded. 99.60/25.37 99.60/25.37 Details of failed attempt(s): 99.60/25.37 ----------------------------- 99.60/25.37 1) 'Fastest (timeout of 24 seconds) (timeout of 297 seconds)' 99.60/25.37 failed due to the following reason: 99.60/25.37 99.60/25.37 Computation stopped due to timeout after 24.0 seconds. 99.60/25.37 99.60/25.37 2) 'With Problem ... (timeout of 148 seconds) (timeout of 297 99.60/25.37 seconds)' failed due to the following reason: 99.60/25.37 99.60/25.37 None of the processors succeeded. 99.60/25.37 99.60/25.37 Details of failed attempt(s): 99.60/25.37 ----------------------------- 99.60/25.37 1) 'empty' failed due to the following reason: 99.60/25.37 99.60/25.37 Empty strict component of the problem is NOT empty. 99.60/25.37 99.60/25.37 2) 'With Problem ...' failed due to the following reason: 99.60/25.37 99.60/25.37 None of the processors succeeded. 99.60/25.37 99.60/25.37 Details of failed attempt(s): 99.60/25.37 ----------------------------- 99.60/25.37 1) 'empty' failed due to the following reason: 99.60/25.37 99.60/25.37 Empty strict component of the problem is NOT empty. 99.60/25.37 99.60/25.37 2) 'Fastest' failed due to the following reason: 99.60/25.37 99.60/25.37 None of the processors succeeded. 99.60/25.37 99.60/25.37 Details of failed attempt(s): 99.60/25.37 ----------------------------- 99.60/25.37 1) 'With Problem ...' failed due to the following reason: 99.60/25.37 99.60/25.37 None of the processors succeeded. 99.60/25.37 99.60/25.37 Details of failed attempt(s): 99.60/25.37 ----------------------------- 99.60/25.37 1) 'empty' failed due to the following reason: 99.60/25.37 99.60/25.37 Empty strict component of the problem is NOT empty. 99.60/25.37 99.60/25.37 2) 'With Problem ...' failed due to the following reason: 99.60/25.37 99.60/25.37 None of the processors succeeded. 99.60/25.37 99.60/25.37 Details of failed attempt(s): 99.60/25.37 ----------------------------- 99.60/25.37 1) 'empty' failed due to the following reason: 99.60/25.37 99.60/25.37 Empty strict component of the problem is NOT empty. 99.60/25.37 99.60/25.37 2) 'With Problem ...' failed due to the following reason: 99.60/25.37 99.60/25.37 None of the processors succeeded. 99.60/25.37 99.60/25.37 Details of failed attempt(s): 99.60/25.37 ----------------------------- 99.60/25.37 1) 'empty' failed due to the following reason: 99.60/25.37 99.60/25.37 Empty strict component of the problem is NOT empty. 99.60/25.37 99.60/25.37 2) 'With Problem ...' failed due to the following reason: 99.60/25.37 99.60/25.37 Empty strict component of the problem is NOT empty. 99.60/25.37 99.60/25.37 99.60/25.37 99.60/25.37 99.60/25.37 2) 'With Problem ...' failed due to the following reason: 99.60/25.37 99.60/25.37 None of the processors succeeded. 99.60/25.37 99.60/25.37 Details of failed attempt(s): 99.60/25.37 ----------------------------- 99.60/25.37 1) 'empty' failed due to the following reason: 99.60/25.37 99.60/25.37 Empty strict component of the problem is NOT empty. 99.60/25.37 99.60/25.37 2) 'With Problem ...' failed due to the following reason: 99.60/25.37 99.60/25.37 Empty strict component of the problem is NOT empty. 99.60/25.37 99.60/25.37 99.60/25.37 99.60/25.37 99.60/25.37 99.60/25.37 3) 'Best' failed due to the following reason: 99.60/25.37 99.60/25.37 None of the processors succeeded. 99.60/25.37 99.60/25.37 Details of failed attempt(s): 99.60/25.37 ----------------------------- 99.60/25.37 1) 'bsearch-popstar (timeout of 297 seconds)' failed due to the 99.60/25.37 following reason: 99.60/25.37 99.60/25.37 The input cannot be shown compatible 99.60/25.37 99.60/25.37 2) 'Polynomial Path Order (PS) (timeout of 297 seconds)' failed due 99.60/25.37 to the following reason: 99.60/25.37 99.60/25.37 The input cannot be shown compatible 99.60/25.37 99.60/25.37 99.60/25.37 99.60/25.37 99.60/25.37 99.60/25.37 Arrrr.. 99.60/25.37 EOF