Tool CaT
stdout:
MAYBE
Problem:
d(0()) -> 0()
d(s(x)) -> s(s(d(x)))
e(0(),x) -> x
e(s(x),y) -> e(x,d(y))
Proof:
Complexity Transformation Processor:
strict:
d(0()) -> 0()
d(s(x)) -> s(s(d(x)))
e(0(),x) -> x
e(s(x),y) -> e(x,d(y))
weak:
Bounds Processor:
bound: 1
enrichment: match
automaton:
final states: {4,3}
transitions:
01() -> 10*
s1(15) -> 10,3
s1(10) -> 15*
d1(15) -> 10*
d1(10) -> 10*
d1(2) -> 10*
d1(1) -> 10*
e1(1,10) -> 4*
e1(2,10) -> 4*
d0(2) -> 3*
d0(1) -> 3*
00() -> 3,1
s0(2) -> 2*
s0(1) -> 2*
e0(1,2) -> 4*
e0(2,1) -> 4*
e0(1,1) -> 4*
e0(2,2) -> 4*
1 -> 4*
2 -> 4*
10 -> 4*
problem:
strict:
d(0()) -> 0()
d(s(x)) -> s(s(d(x)))
e(0(),x) -> x
weak:
e(s(x),y) -> e(x,d(y))
Matrix Interpretation Processor:
dimension: 1
max_matrix:
1
interpretation:
[e](x0, x1) = x0 + x1 + 128,
[s](x0) = x0 + 128,
[d](x0) = x0 + 128,
[0] = 1
orientation:
d(0()) = 129 >= 1 = 0()
d(s(x)) = x + 256 >= x + 384 = s(s(d(x)))
e(0(),x) = x + 129 >= x = x
e(s(x),y) = x + y + 256 >= x + y + 256 = e(x,d(y))
problem:
strict:
d(s(x)) -> s(s(d(x)))
weak:
d(0()) -> 0()
e(0(),x) -> x
e(s(x),y) -> e(x,d(y))
Open
Tool IRC1
stdout:
MAYBE
Tool IRC2
stdout:
TIMEOUT
'Fastest (timeout of 60.0 seconds)'
-----------------------------------
Answer: TIMEOUT
Input Problem: innermost runtime-complexity with respect to
Rules:
{ d(0()) -> 0()
, d(s(x)) -> s(s(d(x)))
, e(0(), x) -> x
, e(s(x), y) -> e(x, d(y))}
Proof Output:
Computation stopped due to timeout after 60.0 secondsTool RC1
stdout:
MAYBE
Tool RC2
stdout:
TIMEOUT
'Fastest (timeout of 60.0 seconds)'
-----------------------------------
Answer: TIMEOUT
Input Problem: runtime-complexity with respect to
Rules:
{ d(0()) -> 0()
, d(s(x)) -> s(s(d(x)))
, e(0(), x) -> x
, e(s(x), y) -> e(x, d(y))}
Proof Output:
Computation stopped due to timeout after 60.0 secondsTool pair1rc
stdout:
TIMEOUT
We consider the following Problem:
Strict Trs:
{ d(0()) -> 0()
, d(s(x)) -> s(s(d(x)))
, e(0(), x) -> x
, e(s(x), y) -> e(x, d(y))}
StartTerms: basic terms
Strategy: none
Certificate: TIMEOUT
Application of 'pair1 (timeout of 60.0 seconds)':
-------------------------------------------------
Computation stopped due to timeout after 60.0 seconds
Arrrr..Tool pair2rc
stdout:
TIMEOUT
We consider the following Problem:
Strict Trs:
{ d(0()) -> 0()
, d(s(x)) -> s(s(d(x)))
, e(0(), x) -> x
, e(s(x), y) -> e(x, d(y))}
StartTerms: basic terms
Strategy: none
Certificate: TIMEOUT
Application of 'pair2 (timeout of 60.0 seconds)':
-------------------------------------------------
Computation stopped due to timeout after 60.0 seconds
Arrrr..Tool pair3irc
stdout:
TIMEOUT
We consider the following Problem:
Strict Trs:
{ d(0()) -> 0()
, d(s(x)) -> s(s(d(x)))
, e(0(), x) -> x
, e(s(x), y) -> e(x, d(y))}
StartTerms: basic terms
Strategy: innermost
Certificate: TIMEOUT
Application of 'pair3 (timeout of 60.0 seconds)':
-------------------------------------------------
Computation stopped due to timeout after 60.0 seconds
Arrrr..Tool rc
stdout:
TIMEOUT
We consider the following Problem:
Strict Trs:
{ d(0()) -> 0()
, d(s(x)) -> s(s(d(x)))
, e(0(), x) -> x
, e(s(x), y) -> e(x, d(y))}
StartTerms: basic terms
Strategy: none
Certificate: TIMEOUT
Application of 'rc (timeout of 60.0 seconds)':
----------------------------------------------
Computation stopped due to timeout after 60.0 seconds
Arrrr..Tool tup3irc
stdout:
TIMEOUT
We consider the following Problem:
Strict Trs:
{ d(0()) -> 0()
, d(s(x)) -> s(s(d(x)))
, e(0(), x) -> x
, e(s(x), y) -> e(x, d(y))}
StartTerms: basic terms
Strategy: innermost
Certificate: TIMEOUT
Application of 'tup3 (timeout of 60.0 seconds)':
------------------------------------------------
Computation stopped due to timeout after 60.0 seconds
Arrrr..