Problem Zantema 08 assoc f rhs

Tool CaT

Execution Time	Unknown
Answer	MAYBE
Input	Zantema 08 assoc f rhs

stdout:

MAYBE

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

Proof:
Complexity Transformation Processor:
  strict:
   f(f(x,y),z) -> f(c(),x)
   f(x,f(y,z)) -> f(f(x,y),z)
   a() -> f(a(),a())
  weak:

  Matrix Interpretation Processor:
   dimension: 1
   max_matrix:
    1
    interpretation:
     [a] = 18,

     [c] = 4,

     [f](x0, x1) = x0 + x1 + 8
    orientation:
     f(f(x,y),z) = x + y + z + 16 >= x + 12 = f(c(),x)

     f(x,f(y,z)) = x + y + z + 16 >= x + y + z + 16 = f(f(x,y),z)

     a() = 18 >= 44 = f(a(),a())
    problem:
     strict:
      f(x,f(y,z)) -> f(f(x,y),z)
      a() -> f(a(),a())
     weak:
      f(f(x,y),z) -> f(c(),x)
    Open

Tool IRC1

Execution Time	Unknown
Answer	MAYBE
Input	Zantema 08 assoc f rhs

stdout:

MAYBE
Warning when parsing problem:

Unsupported strategy 'OUTERMOST'

Tool IRC2

Execution Time	Unknown
Answer	TIMEOUT
Input	Zantema 08 assoc f rhs

stdout:

TIMEOUT

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

Proof Output:
  Computation stopped due to timeout after 60.0 seconds

Tool RC1

Execution Time	Unknown
Answer	MAYBE
Input	Zantema 08 assoc f rhs

stdout:

MAYBE
Warning when parsing problem:

Unsupported strategy 'OUTERMOST'

Tool RC2

Execution Time	Unknown
Answer	TIMEOUT
Input	Zantema 08 assoc f rhs

stdout:

TIMEOUT

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

Proof Output:
  Computation stopped due to timeout after 60.0 seconds