Tool CaT
stdout:
MAYBE
Problem:
f(h(x)) -> f(i(x))
f(i(x)) -> a()
i(x) -> h(x)
Proof:
Complexity Transformation Processor:
strict:
f(h(x)) -> f(i(x))
f(i(x)) -> a()
i(x) -> h(x)
weak:
Bounds Processor:
bound: 1
enrichment: match
automaton:
final states: {4,3}
transitions:
a1() -> 14*
f0(2) -> 3*
f0(1) -> 3*
f0(8) -> 9*
h0(2) -> 1*
h0(1) -> 1*
i0(2) -> 4*
i0(1) -> 4*
a0() -> 2*
1 -> 4*
4 -> 8*
9 -> 3*
14 -> 9*
problem:
strict:
f(h(x)) -> f(i(x))
i(x) -> h(x)
weak:
f(i(x)) -> a()
Matrix Interpretation Processor:
dimension: 1
max_matrix:
1
interpretation:
[a] = 0,
[i](x0) = x0,
[f](x0) = x0,
[h](x0) = x0 + 128
orientation:
f(h(x)) = x + 128 >= x = f(i(x))
i(x) = x >= x + 128 = h(x)
f(i(x)) = x >= 0 = a()
problem:
strict:
i(x) -> h(x)
weak:
f(h(x)) -> f(i(x))
f(i(x)) -> a()
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:
{ f(h(x)) -> f(i(x))
, f(i(x)) -> a()
, i(x) -> h(x)}
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:
{ f(h(x)) -> f(i(x))
, f(i(x)) -> a()
, i(x) -> h(x)}
Proof Output:
Computation stopped due to timeout after 60.0 seconds