Problem Secret 06 TRS gen-17

Tool CaT

Execution TimeUnknown
Answer
MAYBE
InputSecret 06 TRS gen-17

stdout:

MAYBE

Problem:
 f(c(c(a(),y,a()),b(x,z),a())) -> b(y,f(c(f(a()),z,z)))
 f(b(b(x,f(y)),z)) -> c(z,x,f(b(b(f(a()),y),y)))
 c(b(a(),a()),b(y,z),x) -> b(a(),b(z,z))

Proof:
 Open

Tool IRC1

Execution TimeUnknown
Answer
MAYBE
InputSecret 06 TRS gen-17

stdout:

MAYBE

Tool IRC2

Execution TimeUnknown
Answer
TIMEOUT
InputSecret 06 TRS gen-17

stdout:

TIMEOUT

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

Proof Output:    
  Computation stopped due to timeout after 60.0 seconds

Tool RC1

Execution TimeUnknown
Answer
MAYBE
InputSecret 06 TRS gen-17

stdout:

MAYBE

Tool RC2

Execution TimeUnknown
Answer
TIMEOUT
InputSecret 06 TRS gen-17

stdout:

TIMEOUT

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

Proof Output:    
  Computation stopped due to timeout after 60.0 seconds