interpretations
YES(?,O(n^1))
We are left with following problem, upon which TcT provides the
certificate YES(?,O(n^1)).
Strict Trs:
{ ackin(s(X), s(Y)) -> u21(ackin(s(X), Y), X)
, u21(ackout(X), Y) -> u22(ackin(Y, X)) }
Obligation:
innermost runtime complexity
Answer:
YES(?,O(n^1))
The following argument positions are usable:
Uargs(ackin) = {}, Uargs(s) = {}, Uargs(u21) = {1},
Uargs(ackout) = {}, Uargs(u22) = {1}
TcT has computed following constructor-based matrix interpretation
satisfying not(EDA).
[ackin](x1, x2) = [1] x2 + [0]
[s](x1) = [1] x1 + [3]
[u21](x1, x2) = [1] x1 + [2]
[ackout](x1) = [1] x1 + [0]
[u22](x1) = [1] x1 + [1]
This order satisfies following ordering constraints
[ackin(s(X), s(Y))] = [1] Y + [3]
> [1] Y + [2]
= [u21(ackin(s(X), Y), X)]
[u21(ackout(X), Y)] = [1] X + [2]
> [1] X + [1]
= [u22(ackin(Y, X))]
Hurray, we answered YES(?,O(n^1))
lmpo
MAYBE
We are left with following problem, upon which TcT provides the
certificate MAYBE.
Strict Trs:
{ ackin(s(X), s(Y)) -> u21(ackin(s(X), Y), X)
, u21(ackout(X), Y) -> u22(ackin(Y, X)) }
Obligation:
innermost runtime complexity
Answer:
MAYBE
The input cannot be shown compatible
Arrrr..
mpo
MAYBE
We are left with following problem, upon which TcT provides the
certificate MAYBE.
Strict Trs:
{ ackin(s(X), s(Y)) -> u21(ackin(s(X), Y), X)
, u21(ackout(X), Y) -> u22(ackin(Y, X)) }
Obligation:
innermost runtime complexity
Answer:
MAYBE
The input cannot be shown compatible
Arrrr..
popstar
MAYBE
We are left with following problem, upon which TcT provides the
certificate MAYBE.
Strict Trs:
{ ackin(s(X), s(Y)) -> u21(ackin(s(X), Y), X)
, u21(ackout(X), Y) -> u22(ackin(Y, X)) }
Obligation:
innermost runtime complexity
Answer:
MAYBE
The input cannot be shown compatible
Arrrr..
popstar-ps
MAYBE
We are left with following problem, upon which TcT provides the
certificate MAYBE.
Strict Trs:
{ ackin(s(X), s(Y)) -> u21(ackin(s(X), Y), X)
, u21(ackout(X), Y) -> u22(ackin(Y, X)) }
Obligation:
innermost runtime complexity
Answer:
MAYBE
The input cannot be shown compatible
Arrrr..