Tool CaT
stdout:
MAYBE
Problem:
g(b()) -> g(f(f(f(f(b())))))
f(f(b())) -> b()
f(b()) -> b()
g(f(b())) -> c()
Proof:
Complexity Transformation Processor:
strict:
g(b()) -> g(f(f(f(f(b())))))
f(f(b())) -> b()
f(b()) -> b()
g(f(b())) -> c()
weak:
Arctic Interpretation Processor:
dimension: 1
interpretation:
[c] = 0,
[f](x0) = x0,
[g](x0) = 6x0,
[b] = 3
orientation:
g(b()) = 9 >= 9 = g(f(f(f(f(b())))))
f(f(b())) = 3 >= 3 = b()
f(b()) = 3 >= 3 = b()
g(f(b())) = 9 >= 0 = c()
problem:
strict:
g(b()) -> g(f(f(f(f(b())))))
f(f(b())) -> b()
f(b()) -> b()
weak:
g(f(b())) -> c()
Matrix Interpretation Processor:
dimension: 1
max_matrix:
1
interpretation:
[c] = 128,
[f](x0) = x0 + 16,
[g](x0) = x0 + 38,
[b] = 74
orientation:
g(b()) = 112 >= 176 = g(f(f(f(f(b())))))
f(f(b())) = 106 >= 74 = b()
f(b()) = 90 >= 74 = b()
g(f(b())) = 128 >= 128 = c()
problem:
strict:
g(b()) -> g(f(f(f(f(b())))))
weak:
f(f(b())) -> b()
f(b()) -> b()
g(f(b())) -> c()
Open
Tool IRC1
stdout:
MAYBE
Warning when parsing problem:
Unsupported strategy 'OUTERMOST'Tool IRC2
stdout:
TIMEOUT
'Fastest (timeout of 60.0 seconds)'
-----------------------------------
Answer: TIMEOUT
Input Problem: innermost runtime-complexity with respect to
Rules:
{ g(b()) -> g(f(f(f(f(b())))))
, f(f(b())) -> b()
, f(b()) -> b()
, g(f(b())) -> c()}
Proof Output:
Computation stopped due to timeout after 60.0 secondsTool RC1
stdout:
MAYBE
Warning when parsing problem:
Unsupported strategy 'OUTERMOST'Tool RC2
stdout:
TIMEOUT
'Fastest (timeout of 60.0 seconds)'
-----------------------------------
Answer: TIMEOUT
Input Problem: runtime-complexity with respect to
Rules:
{ g(b()) -> g(f(f(f(f(b())))))
, f(f(b())) -> b()
, f(b()) -> b()
, g(f(b())) -> c()}
Proof Output:
Computation stopped due to timeout after 60.0 seconds