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