Problem Zantema 08 ffg

Tool CaT

Execution TimeUnknown
Answer
MAYBE
InputZantema 08 ffg

stdout:

MAYBE

Problem:
 f(f(g(x))) -> x
 g(b()) -> f(g(b()))

Proof:
 Complexity Transformation Processor:
  strict:
   f(f(g(x))) -> x
   g(b()) -> f(g(b()))
  weak:
   
  Arctic Interpretation Processor:
   dimension: 1
   interpretation:
    [b] = 4,
    
    [f](x0) = x0,
    
    [g](x0) = 6x0
   orientation:
    f(f(g(x))) = 6x >= x = x
    
    g(b()) = 10 >= 10 = f(g(b()))
   problem:
    strict:
     g(b()) -> f(g(b()))
    weak:
     f(f(g(x))) -> x
   Open

Tool IRC1

Execution TimeUnknown
Answer
MAYBE
InputZantema 08 ffg

stdout:

MAYBE
 Warning when parsing problem:
                             
                               Unsupported strategy 'OUTERMOST'

Tool IRC2

Execution TimeUnknown
Answer
TIMEOUT
InputZantema 08 ffg

stdout:

TIMEOUT

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

Proof Output:    
  Computation stopped due to timeout after 60.0 seconds

Tool RC1

Execution TimeUnknown
Answer
MAYBE
InputZantema 08 ffg

stdout:

MAYBE
 Warning when parsing problem:
                             
                               Unsupported strategy 'OUTERMOST'

Tool RC2

Execution TimeUnknown
Answer
TIMEOUT
InputZantema 08 ffg

stdout:

TIMEOUT

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

Proof Output:    
  Computation stopped due to timeout after 60.0 seconds