Problem Secret 07 TRS secret1

Tool CaT

Execution Time	Unknown
Answer	MAYBE
Input	Secret 07 TRS secret1

stdout:

MAYBE

Problem:
D(t()) -> s(h())
D(constant()) -> h()
D(b(x,y)) -> b(D(x),D(y))
D(c(x,y)) -> b(c(y,D(x)),c(x,D(y)))
D(m(x,y)) -> m(D(x),D(y))
D(opp(x)) -> opp(D(x))
D(div(x,y)) -> m(div(D(x),y),div(c(x,D(y)),pow(y,2())))
D(ln(x)) -> div(D(x),x)
D(pow(x,y)) -> b(c(c(y,pow(x,m(y,1()))),D(x)),c(c(pow(x,y),ln(x)),D(y)))
b(h(),x) -> x
b(x,h()) -> x
b(s(x),s(y)) -> s(s(b(x,y)))
b(b(x,y),z) -> b(x,b(y,z))

Proof:
Open

Tool IRC1

Execution Time	Unknown
Answer	MAYBE
Input	Secret 07 TRS secret1

stdout:

MAYBE

Tool IRC2

Execution Time	Unknown
Answer	TIMEOUT
Input	Secret 07 TRS secret1

stdout:

TIMEOUT

'Fastest (timeout of 60.0 seconds)'
-----------------------------------
Answer:           TIMEOUT
Input Problem:    innermost runtime-complexity with respect to
  Rules:
    {  D(t()) -> s(h())
     , D(constant()) -> h()
     , D(b(x, y)) -> b(D(x), D(y))
     , D(c(x, y)) -> b(c(y, D(x)), c(x, D(y)))
     , D(m(x, y)) -> m(D(x), D(y))
     , D(opp(x)) -> opp(D(x))
     , D(div(x, y)) -> m(div(D(x), y), div(c(x, D(y)), pow(y, 2())))
     , D(ln(x)) -> div(D(x), x)
     , D(pow(x, y)) ->
       b(c(c(y, pow(x, m(y, 1()))), D(x)), c(c(pow(x, y), ln(x)), D(y)))
     , b(h(), x) -> x
     , b(x, h()) -> x
     , b(s(x), s(y)) -> s(s(b(x, y)))
     , b(b(x, y), z) -> b(x, b(y, z))}

Proof Output:
  Computation stopped due to timeout after 60.0 seconds

Tool RC1

Execution Time	Unknown
Answer	MAYBE
Input	Secret 07 TRS secret1

stdout:

MAYBE

Tool RC2

Execution Time	Unknown
Answer	TIMEOUT
Input	Secret 07 TRS secret1

stdout:

TIMEOUT

'Fastest (timeout of 60.0 seconds)'
-----------------------------------
Answer:           TIMEOUT
Input Problem:    runtime-complexity with respect to
  Rules:
    {  D(t()) -> s(h())
     , D(constant()) -> h()
     , D(b(x, y)) -> b(D(x), D(y))
     , D(c(x, y)) -> b(c(y, D(x)), c(x, D(y)))
     , D(m(x, y)) -> m(D(x), D(y))
     , D(opp(x)) -> opp(D(x))
     , D(div(x, y)) -> m(div(D(x), y), div(c(x, D(y)), pow(y, 2())))
     , D(ln(x)) -> div(D(x), x)
     , D(pow(x, y)) ->
       b(c(c(y, pow(x, m(y, 1()))), D(x)), c(c(pow(x, y), ln(x)), D(y)))
     , b(h(), x) -> x
     , b(x, h()) -> x
     , b(s(x), s(y)) -> s(s(b(x, y)))
     , b(b(x, y), z) -> b(x, b(y, z))}

Proof Output:
  Computation stopped due to timeout after 60.0 seconds