Problem Strategy outermost added 08 Ex1 Zan97

Tool CaT

Execution Time	Unknown
Answer	MAYBE
Input	Strategy outermost added 08 Ex1 Zan97

stdout:

MAYBE

Problem:
g(X) -> h(X)
c() -> d()
h(d()) -> g(c())

Proof:
Complexity Transformation Processor:
  strict:
   g(X) -> h(X)
   c() -> d()
   h(d()) -> g(c())
  weak:

  Matrix Interpretation Processor:
   dimension: 1
   max_matrix:
    1
    interpretation:
     [d] = 4,

     [c] = 112,

     [h](x0) = x0 + 143,

     [g](x0) = x0 + 32
    orientation:
     g(X) = X + 32 >= X + 143 = h(X)

     c() = 112 >= 4 = d()

     h(d()) = 147 >= 144 = g(c())
    problem:
     strict:
      g(X) -> h(X)
     weak:
      c() -> d()
      h(d()) -> g(c())
    Open

Tool IRC1

Execution Time	Unknown
Answer	MAYBE
Input	Strategy outermost added 08 Ex1 Zan97

stdout:

MAYBE
Warning when parsing problem:

Unsupported strategy 'OUTERMOST'

Tool IRC2

Execution Time	Unknown
Answer	TIMEOUT
Input	Strategy outermost added 08 Ex1 Zan97

stdout:

TIMEOUT

'Fastest (timeout of 60.0 seconds)'
-----------------------------------
Answer:           TIMEOUT
Input Problem:    innermost runtime-complexity with respect to
  Rules:
    {  g(X) -> h(X)
     , c() -> d()
     , h(d()) -> g(c())}

Proof Output:
  Computation stopped due to timeout after 60.0 seconds

Tool RC1

Execution Time	Unknown
Answer	MAYBE
Input	Strategy outermost added 08 Ex1 Zan97

stdout:

MAYBE
Warning when parsing problem:

Unsupported strategy 'OUTERMOST'

Tool RC2

Execution Time	Unknown
Answer	TIMEOUT
Input	Strategy outermost added 08 Ex1 Zan97

stdout:

TIMEOUT

'Fastest (timeout of 60.0 seconds)'
-----------------------------------
Answer:           TIMEOUT
Input Problem:    runtime-complexity with respect to
  Rules:
    {  g(X) -> h(X)
     , c() -> d()
     , h(d()) -> g(c())}

Proof Output:
  Computation stopped due to timeout after 60.0 seconds