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