Problem Zantema 04 z018

Tool CaT

Execution TimeUnknown
Answer
MAYBE
InputZantema 04 z018

stdout:

MAYBE

Problem:
 a(b(x1)) -> b(c(a(x1)))
 b(c(x1)) -> c(b(b(x1)))
 b(a(x1)) -> a(c(b(x1)))

Proof:
 Complexity Transformation Processor:
  strict:
   a(b(x1)) -> b(c(a(x1)))
   b(c(x1)) -> c(b(b(x1)))
   b(a(x1)) -> a(c(b(x1)))
  weak:
   
  Arctic Interpretation Processor:
   dimension: 2
   interpretation:
              [0  -&]  
    [c](x0) = [-& -&]x0,
    
              [0  0 ]  
    [a](x0) = [-& 2 ]x0,
    
              [0  -&]  
    [b](x0) = [2  1 ]x0
   orientation:
               [2 1]      [0 0]                
    a(b(x1)) = [4 3]x1 >= [2 2]x1 = b(c(a(x1)))
    
               [0  -&]      [0  -&]                
    b(c(x1)) = [2  -&]x1 >= [-& -&]x1 = c(b(b(x1)))
    
               [0 0]      [0  -&]                
    b(a(x1)) = [2 3]x1 >= [-& -&]x1 = a(c(b(x1)))
   problem:
    strict:
     b(c(x1)) -> c(b(b(x1)))
     b(a(x1)) -> a(c(b(x1)))
    weak:
     a(b(x1)) -> b(c(a(x1)))
   Open

Tool IRC1

Execution TimeUnknown
Answer
MAYBE
InputZantema 04 z018

stdout:

MAYBE

Tool IRC2

Execution TimeUnknown
Answer
TIMEOUT
InputZantema 04 z018

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)))
     , b(a(x1)) -> a(c(b(x1)))}

Proof Output:    
  Computation stopped due to timeout after 60.0 seconds

Tool RC1

Execution TimeUnknown
Answer
MAYBE
InputZantema 04 z018

stdout:

MAYBE

Tool RC2

Execution TimeUnknown
Answer
TIMEOUT
InputZantema 04 z018

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)))
     , b(a(x1)) -> a(c(b(x1)))}

Proof Output:    
  Computation stopped due to timeout after 60.0 seconds