Problem Secret 06 TRS tpa06

Tool CaT

Execution Time	Unknown
Answer	MAYBE
Input	Secret 06 TRS tpa06

stdout:

MAYBE

Problem:
min(0(),y) -> 0()
min(x,0()) -> 0()
min(s(x),s(y)) -> s(min(x,y))
max(0(),y) -> y
max(x,0()) -> x
max(s(x),s(y)) -> s(max(x,y))
p(s(x)) -> x
f(s(x),s(y),s(z)) ->
f(max(s(x),max(s(y),s(z))),p(min(s(x),max(s(y),s(z)))),min(s(x),min(s(y),s(z))))
f(0(),y,z) -> max(y,z)
f(x,0(),z) -> max(x,z)
f(x,y,0()) -> max(x,y)

Proof:
Open

Tool IRC1

Execution Time	Unknown
Answer	MAYBE
Input	Secret 06 TRS tpa06

stdout:

MAYBE

Tool IRC2

Execution Time	Unknown
Answer	TIMEOUT
Input	Secret 06 TRS tpa06

stdout:

TIMEOUT

'Fastest (timeout of 60.0 seconds)'
-----------------------------------
Answer:           TIMEOUT
Input Problem:    innermost runtime-complexity with respect to
  Rules:
    {  min(0(), y) -> 0()
     , min(x, 0()) -> 0()
     , min(s(x), s(y)) -> s(min(x, y))
     , max(0(), y) -> y
     , max(x, 0()) -> x
     , max(s(x), s(y)) -> s(max(x, y))
     , p(s(x)) -> x
     , f(s(x), s(y), s(z)) ->
       f(max(s(x), max(s(y), s(z))),
         p(min(s(x), max(s(y), s(z)))),
         min(s(x), min(s(y), s(z))))
     , f(0(), y, z) -> max(y, z)
     , f(x, 0(), z) -> max(x, z)
     , f(x, y, 0()) -> max(x, y)}

Proof Output:
  Computation stopped due to timeout after 60.0 seconds

Tool RC1

Execution Time	Unknown
Answer	MAYBE
Input	Secret 06 TRS tpa06

stdout:

MAYBE

Tool RC2

Execution Time	Unknown
Answer	TIMEOUT
Input	Secret 06 TRS tpa06

stdout:

TIMEOUT

'Fastest (timeout of 60.0 seconds)'
-----------------------------------
Answer:           TIMEOUT
Input Problem:    runtime-complexity with respect to
  Rules:
    {  min(0(), y) -> 0()
     , min(x, 0()) -> 0()
     , min(s(x), s(y)) -> s(min(x, y))
     , max(0(), y) -> y
     , max(x, 0()) -> x
     , max(s(x), s(y)) -> s(max(x, y))
     , p(s(x)) -> x
     , f(s(x), s(y), s(z)) ->
       f(max(s(x), max(s(y), s(z))),
         p(min(s(x), max(s(y), s(z)))),
         min(s(x), min(s(y), s(z))))
     , f(0(), y, z) -> max(y, z)
     , f(x, 0(), z) -> max(x, z)
     , f(x, y, 0()) -> max(x, y)}

Proof Output:
  Computation stopped due to timeout after 60.0 seconds