Problem Secret 05 SRS aprove5

Tool CaT

Execution TimeUnknown
Answer
MAYBE
InputSecret 05 SRS aprove5

stdout:

MAYBE

Problem:
 a(b(x1)) -> b(c(a(x1)))
 b(c(x1)) -> c(b(b(x1)))
 a(c(x1)) -> c(a(b(x1)))
 a(a(x1)) -> a(d(d(d(x1))))
 d(a(x1)) -> d(d(c(x1)))
 a(d(d(c(x1)))) -> a(a(a(d(x1))))
 e(e(f(f(x1)))) -> f(f(f(e(e(x1)))))
 e(x1) -> a(x1)
 b(d(x1)) -> d(d(x1))

Proof:
 Open

Tool IRC1

Execution TimeUnknown
Answer
MAYBE
InputSecret 05 SRS aprove5

stdout:

MAYBE

Tool IRC2

Execution TimeUnknown
Answer
TIMEOUT
InputSecret 05 SRS aprove5

stdout:

TIMEOUT

'Fastest (timeout of 60.0 seconds)'
-----------------------------------
Answer:           TIMEOUT
Input Problem:    innermost runtime-complexity with respect to
  Rules:
    {  a(b(x1)) -> b(c(a(x1)))
     , b(c(x1)) -> c(b(b(x1)))
     , a(c(x1)) -> c(a(b(x1)))
     , a(a(x1)) -> a(d(d(d(x1))))
     , d(a(x1)) -> d(d(c(x1)))
     , a(d(d(c(x1)))) -> a(a(a(d(x1))))
     , e(e(f(f(x1)))) -> f(f(f(e(e(x1)))))
     , e(x1) -> a(x1)
     , b(d(x1)) -> d(d(x1))}

Proof Output:    
  Computation stopped due to timeout after 60.0 seconds

Tool RC1

Execution TimeUnknown
Answer
MAYBE
InputSecret 05 SRS aprove5

stdout:

MAYBE

Tool RC2

Execution TimeUnknown
Answer
TIMEOUT
InputSecret 05 SRS aprove5

stdout:

TIMEOUT

'Fastest (timeout of 60.0 seconds)'
-----------------------------------
Answer:           TIMEOUT
Input Problem:    runtime-complexity with respect to
  Rules:
    {  a(b(x1)) -> b(c(a(x1)))
     , b(c(x1)) -> c(b(b(x1)))
     , a(c(x1)) -> c(a(b(x1)))
     , a(a(x1)) -> a(d(d(d(x1))))
     , d(a(x1)) -> d(d(c(x1)))
     , a(d(d(c(x1)))) -> a(a(a(d(x1))))
     , e(e(f(f(x1)))) -> f(f(f(e(e(x1)))))
     , e(x1) -> a(x1)
     , b(d(x1)) -> d(d(x1))}

Proof Output:    
  Computation stopped due to timeout after 60.0 seconds