Problem Zantema 08 bintree

Tool CaT

Execution TimeUnknown
Answer
MAYBE
InputZantema 08 bintree

stdout:

MAYBE

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

Proof:
 Complexity Transformation Processor:
  strict:
   0() -> b(0(),0())
   b(b(x,y),z) -> c()
   b(x,b(y,z)) -> c()
  weak:
   
  Matrix Interpretation Processor:
   dimension: 1
   max_matrix:
    1
    interpretation:
     [c] = 0,
     
     [b](x0, x1) = x0 + x1 + 129,
     
     [0] = 0
    orientation:
     0() = 0 >= 129 = b(0(),0())
     
     b(b(x,y),z) = x + y + z + 258 >= 0 = c()
     
     b(x,b(y,z)) = x + y + z + 258 >= 0 = c()
    problem:
     strict:
      0() -> b(0(),0())
     weak:
      b(b(x,y),z) -> c()
      b(x,b(y,z)) -> c()
    Open
 

Tool IRC1

Execution TimeUnknown
Answer
MAYBE
InputZantema 08 bintree

stdout:

MAYBE
 Warning when parsing problem:
                             
                               Unsupported strategy 'OUTERMOST'

Tool IRC2

Execution TimeUnknown
Answer
TIMEOUT
InputZantema 08 bintree

stdout:

TIMEOUT

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

Proof Output:    
  Computation stopped due to timeout after 60.0 seconds

Tool RC1

Execution TimeUnknown
Answer
MAYBE
InputZantema 08 bintree

stdout:

MAYBE
 Warning when parsing problem:
                             
                               Unsupported strategy 'OUTERMOST'

Tool RC2

Execution TimeUnknown
Answer
TIMEOUT
InputZantema 08 bintree

stdout:

TIMEOUT

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

Proof Output:    
  Computation stopped due to timeout after 60.0 seconds