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