MAYBE 91.00/42.94 MAYBE 91.00/42.94 91.00/42.94 We are left with following problem, upon which TcT provides the 91.00/42.94 certificate MAYBE. 91.00/42.94 91.00/42.94 Strict Trs: 91.00/42.94 { f(x, s(y)) -> f(y, x) 91.00/42.94 , f(s(x), y) -> f(x, s(x)) } 91.00/42.94 Obligation: 91.00/42.94 innermost runtime complexity 91.00/42.94 Answer: 91.00/42.94 MAYBE 91.00/42.94 91.00/42.94 None of the processors succeeded. 91.00/42.94 91.00/42.94 Details of failed attempt(s): 91.00/42.94 ----------------------------- 91.00/42.94 1) 'empty' failed due to the following reason: 91.00/42.94 91.00/42.94 Empty strict component of the problem is NOT empty. 91.00/42.94 91.00/42.94 2) 'Best' failed due to the following reason: 91.00/42.94 91.00/42.94 None of the processors succeeded. 91.00/42.94 91.00/42.94 Details of failed attempt(s): 91.00/42.94 ----------------------------- 91.00/42.94 1) 'With Problem ... (timeout of 297 seconds)' failed due to the 91.00/42.94 following reason: 91.00/42.94 91.00/42.94 We add the following dependency tuples: 91.00/42.94 91.00/42.94 Strict DPs: 91.00/42.94 { f^#(x, s(y)) -> c_1(f^#(y, x)) 91.00/42.94 , f^#(s(x), y) -> c_2(f^#(x, s(x))) } 91.00/42.94 91.00/42.94 and mark the set of starting terms. 91.00/42.94 91.00/42.94 We are left with following problem, upon which TcT provides the 91.00/42.94 certificate MAYBE. 91.00/42.94 91.00/42.94 Strict DPs: 91.00/42.94 { f^#(x, s(y)) -> c_1(f^#(y, x)) 91.00/42.94 , f^#(s(x), y) -> c_2(f^#(x, s(x))) } 91.00/42.94 Weak Trs: 91.00/42.94 { f(x, s(y)) -> f(y, x) 91.00/42.94 , f(s(x), y) -> f(x, s(x)) } 91.00/42.94 Obligation: 91.00/42.94 innermost runtime complexity 91.00/42.94 Answer: 91.00/42.94 MAYBE 91.00/42.94 91.00/42.94 No rule is usable, rules are removed from the input problem. 91.00/42.94 91.00/42.94 We are left with following problem, upon which TcT provides the 91.00/42.94 certificate MAYBE. 91.00/42.94 91.00/42.94 Strict DPs: 91.00/42.94 { f^#(x, s(y)) -> c_1(f^#(y, x)) 91.00/42.94 , f^#(s(x), y) -> c_2(f^#(x, s(x))) } 91.00/42.94 Obligation: 91.00/42.94 innermost runtime complexity 91.00/42.94 Answer: 91.00/42.94 MAYBE 91.00/42.94 91.00/42.94 None of the processors succeeded. 91.00/42.94 91.00/42.94 Details of failed attempt(s): 91.00/42.94 ----------------------------- 91.00/42.94 1) 'empty' failed due to the following reason: 91.00/42.94 91.00/42.94 Empty strict component of the problem is NOT empty. 91.00/42.94 91.00/42.94 2) 'With Problem ...' failed due to the following reason: 91.00/42.94 91.00/42.94 None of the processors succeeded. 91.00/42.94 91.00/42.94 Details of failed attempt(s): 91.00/42.94 ----------------------------- 91.00/42.94 1) 'empty' failed due to the following reason: 91.00/42.94 91.00/42.94 Empty strict component of the problem is NOT empty. 91.00/42.94 91.00/42.94 2) 'Fastest' failed due to the following reason: 91.00/42.94 91.00/42.94 None of the processors succeeded. 91.00/42.94 91.00/42.94 Details of failed attempt(s): 91.00/42.94 ----------------------------- 91.00/42.94 1) 'With Problem ...' failed due to the following reason: 91.00/42.94 91.00/42.94 None of the processors succeeded. 91.00/42.94 91.00/42.94 Details of failed attempt(s): 91.00/42.94 ----------------------------- 91.00/42.94 1) 'empty' failed due to the following reason: 91.00/42.94 91.00/42.94 Empty strict component of the problem is NOT empty. 91.00/42.94 91.00/42.94 2) 'Polynomial Path Order (PS)' failed due to the following reason: 91.00/42.94 91.00/42.94 The input cannot be shown compatible 91.00/42.94 91.00/42.94 91.00/42.94 2) 'Polynomial Path Order (PS)' failed due to the following reason: 91.00/42.94 91.00/42.94 The input cannot be shown compatible 91.00/42.94 91.00/42.94 3) 'Fastest (timeout of 24 seconds)' failed due to the following 91.00/42.94 reason: 91.00/42.94 91.00/42.94 None of the processors succeeded. 91.00/42.94 91.00/42.94 Details of failed attempt(s): 91.00/42.94 ----------------------------- 91.00/42.94 1) 'Bounds with minimal-enrichment and initial automaton 'match'' 91.00/42.94 failed due to the following reason: 91.00/42.94 91.00/42.94 match-boundness of the problem could not be verified. 91.00/42.94 91.00/42.94 2) 'Bounds with perSymbol-enrichment and initial automaton 'match'' 91.00/42.94 failed due to the following reason: 91.00/42.94 91.00/42.94 match-boundness of the problem could not be verified. 91.00/42.94 91.00/42.94 91.00/42.94 91.00/42.94 91.00/42.94 91.00/42.94 2) 'Best' failed due to the following reason: 91.00/42.94 91.00/42.94 None of the processors succeeded. 91.00/42.94 91.00/42.94 Details of failed attempt(s): 91.00/42.94 ----------------------------- 91.00/42.94 1) 'With Problem ... (timeout of 148 seconds) (timeout of 297 91.00/42.94 seconds)' failed due to the following reason: 91.00/42.94 91.00/42.94 None of the processors succeeded. 91.00/42.94 91.00/42.94 Details of failed attempt(s): 91.00/42.94 ----------------------------- 91.00/42.94 1) 'empty' failed due to the following reason: 91.00/42.94 91.00/42.94 Empty strict component of the problem is NOT empty. 91.00/42.94 91.00/42.94 2) 'With Problem ...' failed due to the following reason: 91.00/42.94 91.00/42.94 None of the processors succeeded. 91.00/42.94 91.00/42.94 Details of failed attempt(s): 91.00/42.94 ----------------------------- 91.00/42.94 1) 'empty' failed due to the following reason: 91.00/42.94 91.00/42.94 Empty strict component of the problem is NOT empty. 91.00/42.94 91.00/42.94 2) 'Fastest' failed due to the following reason: 91.00/42.94 91.00/42.94 None of the processors succeeded. 91.00/42.94 91.00/42.94 Details of failed attempt(s): 91.00/42.94 ----------------------------- 91.00/42.94 1) 'With Problem ...' failed due to the following reason: 91.00/42.94 91.00/42.94 None of the processors succeeded. 91.00/42.94 91.00/42.94 Details of failed attempt(s): 91.00/42.94 ----------------------------- 91.00/42.94 1) 'empty' failed due to the following reason: 91.00/42.94 91.00/42.94 Empty strict component of the problem is NOT empty. 91.00/42.94 91.00/42.94 2) 'With Problem ...' failed due to the following reason: 91.00/42.94 91.00/42.94 None of the processors succeeded. 91.00/42.94 91.00/42.94 Details of failed attempt(s): 91.00/42.94 ----------------------------- 91.00/42.94 1) 'empty' failed due to the following reason: 91.00/42.94 91.00/42.94 Empty strict component of the problem is NOT empty. 91.00/42.94 91.00/42.94 2) 'With Problem ...' failed due to the following reason: 91.00/42.94 91.00/42.94 None of the processors succeeded. 91.00/42.94 91.00/42.94 Details of failed attempt(s): 91.00/42.94 ----------------------------- 91.00/42.94 1) 'empty' failed due to the following reason: 91.00/42.94 91.00/42.94 Empty strict component of the problem is NOT empty. 91.00/42.94 91.00/42.94 2) 'With Problem ...' failed due to the following reason: 91.00/42.94 91.00/42.94 Empty strict component of the problem is NOT empty. 91.00/42.94 91.00/42.94 91.00/42.94 91.00/42.94 91.00/42.94 2) 'With Problem ...' failed due to the following reason: 91.00/42.94 91.00/42.94 None of the processors succeeded. 91.00/42.94 91.00/42.94 Details of failed attempt(s): 91.00/42.94 ----------------------------- 91.00/42.94 1) 'empty' failed due to the following reason: 91.00/42.94 91.00/42.94 Empty strict component of the problem is NOT empty. 91.00/42.94 91.00/42.94 2) 'With Problem ...' failed due to the following reason: 91.00/42.94 91.00/42.94 Empty strict component of the problem is NOT empty. 91.00/42.94 91.00/42.94 91.00/42.94 91.00/42.94 91.00/42.94 91.00/42.94 2) 'Best' failed due to the following reason: 91.00/42.94 91.00/42.94 None of the processors succeeded. 91.00/42.94 91.00/42.94 Details of failed attempt(s): 91.00/42.94 ----------------------------- 91.00/42.94 1) 'Polynomial Path Order (PS) (timeout of 297 seconds)' failed due 91.00/42.94 to the following reason: 91.00/42.94 91.00/42.94 The input cannot be shown compatible 91.00/42.94 91.00/42.94 2) 'bsearch-popstar (timeout of 297 seconds)' failed due to the 91.00/42.94 following reason: 91.00/42.94 91.00/42.94 The input cannot be shown compatible 91.00/42.94 91.00/42.94 91.00/42.94 3) 'Fastest (timeout of 24 seconds) (timeout of 297 seconds)' 91.00/42.94 failed due to the following reason: 91.00/42.94 91.00/42.94 None of the processors succeeded. 91.00/42.94 91.00/42.94 Details of failed attempt(s): 91.00/42.94 ----------------------------- 91.00/42.94 1) 'Bounds with perSymbol-enrichment and initial automaton 'match'' 91.00/42.94 failed due to the following reason: 91.00/42.94 91.00/42.94 match-boundness of the problem could not be verified. 91.00/42.94 91.00/42.94 2) 'Bounds with minimal-enrichment and initial automaton 'match'' 91.00/42.94 failed due to the following reason: 91.00/42.94 91.00/42.94 match-boundness of the problem could not be verified. 91.00/42.94 91.00/42.94 91.00/42.94 91.00/42.94 91.00/42.94 91.00/42.94 Arrrr.. 91.14/43.01 EOF