Tool CaT
stdout:
MAYBE
Problem:
lcs(e(),y) -> 0()
lcs(x,e()) -> 0()
lcs(a(x),a(y)) -> s(lcs(x,y))
lcs(b(x),b(y)) -> s(lcs(x,y))
lcs(a(x),b(y)) -> max(lcs(x,b(y)),lcs(a(x),y))
lcs(b(x),a(y)) -> max(lcs(x,a(y)),lcs(b(x),y))
max(x,0()) -> 0()
max(0(),y) -> 0()
max(s(x),s(y)) -> max(x,y)
Proof:
OpenTool IRC1
stdout:
MAYBE
Tool IRC2
stdout:
TIMEOUT
'Fastest (timeout of 60.0 seconds)'
-----------------------------------
Answer: TIMEOUT
Input Problem: innermost runtime-complexity with respect to
Rules:
{ lcs(e(), y) -> 0()
, lcs(x, e()) -> 0()
, lcs(a(x), a(y)) -> s(lcs(x, y))
, lcs(b(x), b(y)) -> s(lcs(x, y))
, lcs(a(x), b(y)) -> max(lcs(x, b(y)), lcs(a(x), y))
, lcs(b(x), a(y)) -> max(lcs(x, a(y)), lcs(b(x), y))
, max(x, 0()) -> 0()
, max(0(), y) -> 0()
, max(s(x), s(y)) -> max(x, 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:
{ lcs(e(), y) -> 0()
, lcs(x, e()) -> 0()
, lcs(a(x), a(y)) -> s(lcs(x, y))
, lcs(b(x), b(y)) -> s(lcs(x, y))
, lcs(a(x), b(y)) -> max(lcs(x, b(y)), lcs(a(x), y))
, lcs(b(x), a(y)) -> max(lcs(x, a(y)), lcs(b(x), y))
, max(x, 0()) -> 0()
, max(0(), y) -> 0()
, max(s(x), s(y)) -> max(x, y)}
Proof Output:
Computation stopped due to timeout after 60.0 secondsTool pair1rc
stdout:
TIMEOUT
We consider the following Problem:
Strict Trs:
{ lcs(e(), y) -> 0()
, lcs(x, e()) -> 0()
, lcs(a(x), a(y)) -> s(lcs(x, y))
, lcs(b(x), b(y)) -> s(lcs(x, y))
, lcs(a(x), b(y)) -> max(lcs(x, b(y)), lcs(a(x), y))
, lcs(b(x), a(y)) -> max(lcs(x, a(y)), lcs(b(x), y))
, max(x, 0()) -> 0()
, max(0(), y) -> 0()
, max(s(x), s(y)) -> max(x, 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:
{ lcs(e(), y) -> 0()
, lcs(x, e()) -> 0()
, lcs(a(x), a(y)) -> s(lcs(x, y))
, lcs(b(x), b(y)) -> s(lcs(x, y))
, lcs(a(x), b(y)) -> max(lcs(x, b(y)), lcs(a(x), y))
, lcs(b(x), a(y)) -> max(lcs(x, a(y)), lcs(b(x), y))
, max(x, 0()) -> 0()
, max(0(), y) -> 0()
, max(s(x), s(y)) -> max(x, 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 pair3rc
stdout:
TIMEOUT
We consider the following Problem:
Strict Trs:
{ lcs(e(), y) -> 0()
, lcs(x, e()) -> 0()
, lcs(a(x), a(y)) -> s(lcs(x, y))
, lcs(b(x), b(y)) -> s(lcs(x, y))
, lcs(a(x), b(y)) -> max(lcs(x, b(y)), lcs(a(x), y))
, lcs(b(x), a(y)) -> max(lcs(x, a(y)), lcs(b(x), y))
, max(x, 0()) -> 0()
, max(0(), y) -> 0()
, max(s(x), s(y)) -> max(x, y)}
StartTerms: basic terms
Strategy: none
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:
{ lcs(e(), y) -> 0()
, lcs(x, e()) -> 0()
, lcs(a(x), a(y)) -> s(lcs(x, y))
, lcs(b(x), b(y)) -> s(lcs(x, y))
, lcs(a(x), b(y)) -> max(lcs(x, b(y)), lcs(a(x), y))
, lcs(b(x), a(y)) -> max(lcs(x, a(y)), lcs(b(x), y))
, max(x, 0()) -> 0()
, max(0(), y) -> 0()
, max(s(x), s(y)) -> max(x, 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
Execution Time | 65.42597ms |
---|
Answer | TIMEOUT |
---|
Input | TCT 09 lcs |
---|
stdout:
TIMEOUT
We consider the following Problem:
Strict Trs:
{ lcs(e(), y) -> 0()
, lcs(x, e()) -> 0()
, lcs(a(x), a(y)) -> s(lcs(x, y))
, lcs(b(x), b(y)) -> s(lcs(x, y))
, lcs(a(x), b(y)) -> max(lcs(x, b(y)), lcs(a(x), y))
, lcs(b(x), a(y)) -> max(lcs(x, a(y)), lcs(b(x), y))
, max(x, 0()) -> 0()
, max(0(), y) -> 0()
, max(s(x), s(y)) -> max(x, 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..