MAYBE 363.68/297.10 MAYBE 363.68/297.10 363.68/297.10 We are left with following problem, upon which TcT provides the 363.68/297.10 certificate MAYBE. 363.68/297.10 363.68/297.10 Strict Trs: 363.68/297.10 { r(xs, ys, zs, nil()) -> xs 363.68/297.10 , r(xs, nil(), zs, cons(w, ws)) -> 363.68/297.10 r(xs, xs, cons(succ(zero()), zs), ws) 363.68/297.10 , r(xs, cons(y, ys), nil(), cons(w, ws)) -> 363.68/297.10 r(xs, xs, cons(succ(zero()), nil()), ws) 363.68/297.10 , r(xs, cons(y, ys), cons(z, zs), cons(w, ws)) -> 363.68/297.10 r(ys, cons(y, ys), zs, cons(succ(zero()), cons(w, ws))) } 363.68/297.10 Obligation: 363.68/297.10 innermost runtime complexity 363.68/297.10 Answer: 363.68/297.10 MAYBE 363.68/297.10 363.68/297.10 None of the processors succeeded. 363.68/297.10 363.68/297.10 Details of failed attempt(s): 363.68/297.10 ----------------------------- 363.68/297.10 1) 'empty' failed due to the following reason: 363.68/297.10 363.68/297.10 Empty strict component of the problem is NOT empty. 363.68/297.10 363.68/297.10 2) 'Best' failed due to the following reason: 363.68/297.10 363.68/297.10 None of the processors succeeded. 363.68/297.10 363.68/297.10 Details of failed attempt(s): 363.68/297.10 ----------------------------- 363.68/297.10 1) 'With Problem ... (timeout of 297 seconds)' failed due to the 363.68/297.10 following reason: 363.68/297.10 363.68/297.10 Computation stopped due to timeout after 297.0 seconds. 363.68/297.10 363.68/297.10 2) 'Best' failed due to the following reason: 363.68/297.10 363.68/297.10 None of the processors succeeded. 363.68/297.10 363.68/297.10 Details of failed attempt(s): 363.68/297.10 ----------------------------- 363.68/297.10 1) 'With Problem ... (timeout of 148 seconds) (timeout of 297 363.68/297.10 seconds)' failed due to the following reason: 363.68/297.10 363.68/297.10 None of the processors succeeded. 363.68/297.10 363.68/297.10 Details of failed attempt(s): 363.68/297.10 ----------------------------- 363.68/297.10 1) 'empty' failed due to the following reason: 363.68/297.10 363.68/297.10 Empty strict component of the problem is NOT empty. 363.68/297.10 363.68/297.10 2) 'With Problem ...' failed due to the following reason: 363.68/297.10 363.68/297.10 None of the processors succeeded. 363.68/297.10 363.68/297.10 Details of failed attempt(s): 363.68/297.10 ----------------------------- 363.68/297.10 1) 'empty' failed due to the following reason: 363.68/297.10 363.68/297.10 Empty strict component of the problem is NOT empty. 363.68/297.10 363.68/297.10 2) 'Fastest' failed due to the following reason: 363.68/297.10 363.68/297.10 None of the processors succeeded. 363.68/297.10 363.68/297.10 Details of failed attempt(s): 363.68/297.10 ----------------------------- 363.68/297.10 1) 'With Problem ...' failed due to the following reason: 363.68/297.10 363.68/297.10 None of the processors succeeded. 363.68/297.10 363.68/297.10 Details of failed attempt(s): 363.68/297.10 ----------------------------- 363.68/297.10 1) 'empty' failed due to the following reason: 363.68/297.10 363.68/297.10 Empty strict component of the problem is NOT empty. 363.68/297.10 363.68/297.10 2) 'With Problem ...' failed due to the following reason: 363.68/297.10 363.68/297.10 None of the processors succeeded. 363.68/297.10 363.68/297.10 Details of failed attempt(s): 363.68/297.10 ----------------------------- 363.68/297.10 1) 'empty' failed due to the following reason: 363.68/297.10 363.68/297.10 Empty strict component of the problem is NOT empty. 363.68/297.10 363.68/297.10 2) 'With Problem ...' failed due to the following reason: 363.68/297.10 363.68/297.10 None of the processors succeeded. 363.68/297.10 363.68/297.10 Details of failed attempt(s): 363.68/297.10 ----------------------------- 363.68/297.10 1) 'empty' failed due to the following reason: 363.68/297.10 363.68/297.10 Empty strict component of the problem is NOT empty. 363.68/297.10 363.68/297.10 2) 'With Problem ...' failed due to the following reason: 363.68/297.10 363.68/297.10 Empty strict component of the problem is NOT empty. 363.68/297.10 363.68/297.10 363.68/297.10 363.68/297.10 363.68/297.10 2) 'With Problem ...' failed due to the following reason: 363.68/297.10 363.68/297.10 None of the processors succeeded. 363.68/297.10 363.68/297.10 Details of failed attempt(s): 363.68/297.10 ----------------------------- 363.68/297.10 1) 'empty' failed due to the following reason: 363.68/297.10 363.68/297.10 Empty strict component of the problem is NOT empty. 363.68/297.10 363.68/297.10 2) 'With Problem ...' failed due to the following reason: 363.68/297.10 363.68/297.10 Empty strict component of the problem is NOT empty. 363.68/297.10 363.68/297.10 363.68/297.10 363.68/297.10 363.68/297.10 363.68/297.10 2) 'Best' failed due to the following reason: 363.68/297.10 363.68/297.10 None of the processors succeeded. 363.68/297.10 363.68/297.10 Details of failed attempt(s): 363.68/297.10 ----------------------------- 363.68/297.10 1) 'Polynomial Path Order (PS) (timeout of 297 seconds)' failed due 363.68/297.10 to the following reason: 363.68/297.10 363.68/297.10 The input cannot be shown compatible 363.68/297.10 363.68/297.10 2) 'bsearch-popstar (timeout of 297 seconds)' failed due to the 363.68/297.10 following reason: 363.68/297.10 363.68/297.10 The input cannot be shown compatible 363.68/297.10 363.68/297.10 363.68/297.10 3) 'Fastest (timeout of 24 seconds) (timeout of 297 seconds)' 363.68/297.10 failed due to the following reason: 363.68/297.10 363.68/297.10 None of the processors succeeded. 363.68/297.10 363.68/297.10 Details of failed attempt(s): 363.68/297.10 ----------------------------- 363.68/297.10 1) 'Bounds with minimal-enrichment and initial automaton 'match'' 363.68/297.10 failed due to the following reason: 363.68/297.10 363.68/297.10 match-boundness of the problem could not be verified. 363.68/297.10 363.68/297.10 2) 'Bounds with perSymbol-enrichment and initial automaton 'match'' 363.68/297.10 failed due to the following reason: 363.68/297.10 363.68/297.10 match-boundness of the problem could not be verified. 363.68/297.10 363.68/297.10 363.68/297.10 363.68/297.10 363.68/297.10 363.68/297.10 Arrrr.. 363.68/297.15 EOF