MAYBE 1184.67/297.15 MAYBE 1184.67/297.15 1184.67/297.15 We are left with following problem, upon which TcT provides the 1184.67/297.15 certificate MAYBE. 1184.67/297.15 1184.67/297.15 Strict Trs: 1184.67/297.15 { rec(rec(x)) -> sent(rec(x)) 1184.67/297.15 , rec(sent(x)) -> sent(rec(x)) 1184.67/297.15 , rec(no(x)) -> sent(rec(x)) 1184.67/297.15 , rec(bot()) -> up(sent(bot())) 1184.67/297.15 , rec(up(x)) -> up(rec(x)) 1184.67/297.15 , sent(up(x)) -> up(sent(x)) 1184.67/297.15 , no(up(x)) -> up(no(x)) 1184.67/297.15 , top(rec(up(x))) -> top(check(rec(x))) 1184.67/297.15 , top(sent(up(x))) -> top(check(rec(x))) 1184.67/297.15 , top(no(up(x))) -> top(check(rec(x))) 1184.67/297.15 , check(rec(x)) -> rec(check(x)) 1184.67/297.15 , check(sent(x)) -> sent(check(x)) 1184.67/297.15 , check(no(x)) -> no(x) 1184.67/297.15 , check(no(x)) -> no(check(x)) 1184.67/297.15 , check(up(x)) -> up(check(x)) } 1184.67/297.15 Obligation: 1184.67/297.15 derivational complexity 1184.67/297.15 Answer: 1184.67/297.15 MAYBE 1184.67/297.15 1184.67/297.15 None of the processors succeeded. 1184.67/297.15 1184.67/297.15 Details of failed attempt(s): 1184.67/297.15 ----------------------------- 1184.67/297.15 1) 'iteProgress (timeout of 297 seconds)' failed due to the 1184.67/297.15 following reason: 1184.67/297.15 1184.67/297.15 Computation stopped due to timeout after 297.0 seconds. 1184.67/297.15 1184.67/297.15 2) 'Inspecting Problem... (timeout of 297 seconds)' failed due to 1184.67/297.15 the following reason: 1184.67/297.15 1184.67/297.15 Computation stopped due to timeout after 297.0 seconds. 1184.67/297.15 1184.67/297.15 3) 'Fastest (timeout of 60 seconds)' failed due to the following 1184.67/297.15 reason: 1184.67/297.15 1184.67/297.15 Computation stopped due to timeout after 60.0 seconds. 1184.67/297.15 1184.67/297.15 4) 'bsearch-matrix (timeout of 297 seconds)' failed due to the 1184.67/297.15 following reason: 1184.67/297.15 1184.67/297.15 The input cannot be shown compatible 1184.67/297.15 1184.67/297.15 1184.67/297.15 Arrrr.. 1184.67/297.19 EOF