Problem Zantema 04 syracuse

Tool CaT

Execution TimeUnknown
Answer
MAYBE
InputZantema 04 syracuse

stdout:

MAYBE

Problem:
 h(1(1(x1))) -> 1(h(x1))
 1(1(h(b(x1)))) -> 1(1(s(b(x1))))
 1(s(x1)) -> s(1(x1))
 b(s(x1)) -> b(h(x1))
 h(1(b(x1))) -> t(1(1(b(x1))))
 1(t(x1)) -> t(1(1(1(x1))))
 b(t(x1)) -> b(h(x1))

Proof:
 Open

Tool IRC1

Execution TimeUnknown
Answer
MAYBE
InputZantema 04 syracuse

stdout:

MAYBE

Tool IRC2

Execution TimeUnknown
Answer
TIMEOUT
InputZantema 04 syracuse

stdout:

TIMEOUT

'Fastest (timeout of 60.0 seconds)'
-----------------------------------
Answer:           TIMEOUT
Input Problem:    innermost runtime-complexity with respect to
  Rules:
    {  h(1(1(x1))) -> 1(h(x1))
     , 1(1(h(b(x1)))) -> 1(1(s(b(x1))))
     , 1(s(x1)) -> s(1(x1))
     , b(s(x1)) -> b(h(x1))
     , h(1(b(x1))) -> t(1(1(b(x1))))
     , 1(t(x1)) -> t(1(1(1(x1))))
     , b(t(x1)) -> b(h(x1))}

Proof Output:    
  Computation stopped due to timeout after 60.0 seconds

Tool RC1

Execution TimeUnknown
Answer
MAYBE
InputZantema 04 syracuse

stdout:

MAYBE

Tool RC2

Execution TimeUnknown
Answer
TIMEOUT
InputZantema 04 syracuse

stdout:

TIMEOUT

'Fastest (timeout of 60.0 seconds)'
-----------------------------------
Answer:           TIMEOUT
Input Problem:    runtime-complexity with respect to
  Rules:
    {  h(1(1(x1))) -> 1(h(x1))
     , 1(1(h(b(x1)))) -> 1(1(s(b(x1))))
     , 1(s(x1)) -> s(1(x1))
     , b(s(x1)) -> b(h(x1))
     , h(1(b(x1))) -> t(1(1(b(x1))))
     , 1(t(x1)) -> t(1(1(1(x1))))
     , b(t(x1)) -> b(h(x1))}

Proof Output:    
  Computation stopped due to timeout after 60.0 seconds