Problem Mixed TRS hydra-Zantema06

Tool CaT

Execution Time	Unknown
Answer	MAYBE
Input	Mixed TRS hydra-Zantema06

stdout:

MAYBE

Problem:
h(e(x),y) -> h(d(x,y),s(y))
d(g(g(0(),x),y),s(z)) -> g(e(x),d(g(g(0(),x),y),z))
d(g(g(0(),x),y),0()) -> e(y)
d(g(0(),x),y) -> e(x)
d(g(x,y),z) -> g(d(x,z),e(y))
g(e(x),e(y)) -> e(g(x,y))

Proof:
Open

Tool IRC1

Execution Time	Unknown
Answer	MAYBE
Input	Mixed TRS hydra-Zantema06

stdout:

MAYBE

Tool IRC2

Execution Time	Unknown
Answer	TIMEOUT
Input	Mixed TRS hydra-Zantema06

stdout:

TIMEOUT

'Fastest (timeout of 60.0 seconds)'
-----------------------------------
Answer:           TIMEOUT
Input Problem:    innermost runtime-complexity with respect to
  Rules:
    {  h(e(x), y) -> h(d(x, y), s(y))
     , d(g(g(0(), x), y), s(z)) -> g(e(x), d(g(g(0(), x), y), z))
     , d(g(g(0(), x), y), 0()) -> e(y)
     , d(g(0(), x), y) -> e(x)
     , d(g(x, y), z) -> g(d(x, z), e(y))
     , g(e(x), e(y)) -> e(g(x, y))}

Proof Output:
  Computation stopped due to timeout after 60.0 seconds

Tool RC1

Execution Time	Unknown
Answer	MAYBE
Input	Mixed TRS hydra-Zantema06

stdout:

MAYBE

Tool RC2

Execution Time	Unknown
Answer	TIMEOUT
Input	Mixed TRS hydra-Zantema06

stdout:

TIMEOUT

'Fastest (timeout of 60.0 seconds)'
-----------------------------------
Answer:           TIMEOUT
Input Problem:    runtime-complexity with respect to
  Rules:
    {  h(e(x), y) -> h(d(x, y), s(y))
     , d(g(g(0(), x), y), s(z)) -> g(e(x), d(g(g(0(), x), y), z))
     , d(g(g(0(), x), y), 0()) -> e(y)
     , d(g(0(), x), y) -> e(x)
     , d(g(x, y), z) -> g(d(x, z), e(y))
     , g(e(x), e(y)) -> e(g(x, y))}

Proof Output:
  Computation stopped due to timeout after 60.0 seconds