Problem Secret 05 TRS cime3

Tool CaT

Execution TimeUnknown
Answer
MAYBE
InputSecret 05 TRS cime3

stdout:

MAYBE

Problem:
 a__a() -> a__c()
 a__b() -> a__c()
 a__c() -> e()
 a__k() -> l()
 a__d() -> m()
 a__a() -> a__d()
 a__b() -> a__d()
 a__c() -> l()
 a__k() -> m()
 a__A() -> a__h(a__f(a__a()),a__f(a__b()))
 a__h(X,X) -> a__g(mark(X),mark(X),a__f(a__k()))
 a__g(d(),X,X) -> a__A()
 a__f(X) -> a__z(mark(X),X)
 a__z(e(),X) -> mark(X)
 mark(A()) -> a__A()
 mark(a()) -> a__a()
 mark(b()) -> a__b()
 mark(c()) -> a__c()
 mark(d()) -> a__d()
 mark(k()) -> a__k()
 mark(z(X1,X2)) -> a__z(mark(X1),X2)
 mark(f(X)) -> a__f(mark(X))
 mark(h(X1,X2)) -> a__h(mark(X1),mark(X2))
 mark(g(X1,X2,X3)) -> a__g(mark(X1),mark(X2),mark(X3))
 mark(e()) -> e()
 mark(l()) -> l()
 mark(m()) -> m()
 a__A() -> A()
 a__a() -> a()
 a__b() -> b()
 a__c() -> c()
 a__d() -> d()
 a__k() -> k()
 a__z(X1,X2) -> z(X1,X2)
 a__f(X) -> f(X)
 a__h(X1,X2) -> h(X1,X2)
 a__g(X1,X2,X3) -> g(X1,X2,X3)

Proof:
 Open

Tool IRC1

Execution TimeUnknown
Answer
MAYBE
InputSecret 05 TRS cime3

stdout:

MAYBE

Tool IRC2

Execution TimeUnknown
Answer
TIMEOUT
InputSecret 05 TRS cime3

stdout:

TIMEOUT

'Fastest (timeout of 60.0 seconds)'
-----------------------------------
Answer:           TIMEOUT
Input Problem:    innermost runtime-complexity with respect to
  Rules:
    {  a__a() -> a__c()
     , a__b() -> a__c()
     , a__c() -> e()
     , a__k() -> l()
     , a__d() -> m()
     , a__a() -> a__d()
     , a__b() -> a__d()
     , a__c() -> l()
     , a__k() -> m()
     , a__A() -> a__h(a__f(a__a()), a__f(a__b()))
     , a__h(X, X) -> a__g(mark(X), mark(X), a__f(a__k()))
     , a__g(d(), X, X) -> a__A()
     , a__f(X) -> a__z(mark(X), X)
     , a__z(e(), X) -> mark(X)
     , mark(A()) -> a__A()
     , mark(a()) -> a__a()
     , mark(b()) -> a__b()
     , mark(c()) -> a__c()
     , mark(d()) -> a__d()
     , mark(k()) -> a__k()
     , mark(z(X1, X2)) -> a__z(mark(X1), X2)
     , mark(f(X)) -> a__f(mark(X))
     , mark(h(X1, X2)) -> a__h(mark(X1), mark(X2))
     , mark(g(X1, X2, X3)) -> a__g(mark(X1), mark(X2), mark(X3))
     , mark(e()) -> e()
     , mark(l()) -> l()
     , mark(m()) -> m()
     , a__A() -> A()
     , a__a() -> a()
     , a__b() -> b()
     , a__c() -> c()
     , a__d() -> d()
     , a__k() -> k()
     , a__z(X1, X2) -> z(X1, X2)
     , a__f(X) -> f(X)
     , a__h(X1, X2) -> h(X1, X2)
     , a__g(X1, X2, X3) -> g(X1, X2, X3)}

Proof Output:    
  Computation stopped due to timeout after 60.0 seconds

Tool RC1

Execution TimeUnknown
Answer
MAYBE
InputSecret 05 TRS cime3

stdout:

MAYBE

Tool RC2

Execution TimeUnknown
Answer
TIMEOUT
InputSecret 05 TRS cime3

stdout:

TIMEOUT

'Fastest (timeout of 60.0 seconds)'
-----------------------------------
Answer:           TIMEOUT
Input Problem:    runtime-complexity with respect to
  Rules:
    {  a__a() -> a__c()
     , a__b() -> a__c()
     , a__c() -> e()
     , a__k() -> l()
     , a__d() -> m()
     , a__a() -> a__d()
     , a__b() -> a__d()
     , a__c() -> l()
     , a__k() -> m()
     , a__A() -> a__h(a__f(a__a()), a__f(a__b()))
     , a__h(X, X) -> a__g(mark(X), mark(X), a__f(a__k()))
     , a__g(d(), X, X) -> a__A()
     , a__f(X) -> a__z(mark(X), X)
     , a__z(e(), X) -> mark(X)
     , mark(A()) -> a__A()
     , mark(a()) -> a__a()
     , mark(b()) -> a__b()
     , mark(c()) -> a__c()
     , mark(d()) -> a__d()
     , mark(k()) -> a__k()
     , mark(z(X1, X2)) -> a__z(mark(X1), X2)
     , mark(f(X)) -> a__f(mark(X))
     , mark(h(X1, X2)) -> a__h(mark(X1), mark(X2))
     , mark(g(X1, X2, X3)) -> a__g(mark(X1), mark(X2), mark(X3))
     , mark(e()) -> e()
     , mark(l()) -> l()
     , mark(m()) -> m()
     , a__A() -> A()
     , a__a() -> a()
     , a__b() -> b()
     , a__c() -> c()
     , a__d() -> d()
     , a__k() -> k()
     , a__z(X1, X2) -> z(X1, X2)
     , a__f(X) -> f(X)
     , a__h(X1, X2) -> h(X1, X2)
     , a__g(X1, X2, X3) -> g(X1, X2, X3)}

Proof Output:    
  Computation stopped due to timeout after 60.0 seconds