Tool CaT
stdout:
MAYBE
Problem:
acka(y(),n) -> s(n)
acka(a(m),y()) -> acka(m,s(0()))
acka(a(m),a(n)) -> acka(m,ackb(s(m),n))
ackb(z(),n) -> s(n)
ackb(b(m),z()) -> ackb(m,s(0()))
ackb(b(m),b(n)) -> acka(m,ackb(s(m),n))
s(n) -> a(n)
s(n) -> b(n)
0() -> y()
0() -> z()
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:
{ acka(y(), n) -> s(n)
, acka(a(m), y()) -> acka(m, s(0()))
, acka(a(m), a(n)) -> acka(m, ackb(s(m), n))
, ackb(z(), n) -> s(n)
, ackb(b(m), z()) -> ackb(m, s(0()))
, ackb(b(m), b(n)) -> acka(m, ackb(s(m), n))
, s(n) -> a(n)
, s(n) -> b(n)
, 0() -> y()
, 0() -> z()}
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:
{ acka(y(), n) -> s(n)
, acka(a(m), y()) -> acka(m, s(0()))
, acka(a(m), a(n)) -> acka(m, ackb(s(m), n))
, ackb(z(), n) -> s(n)
, ackb(b(m), z()) -> ackb(m, s(0()))
, ackb(b(m), b(n)) -> acka(m, ackb(s(m), n))
, s(n) -> a(n)
, s(n) -> b(n)
, 0() -> y()
, 0() -> z()}
Proof Output:
Computation stopped due to timeout after 60.0 secondsTool pair1rc
stdout:
TIMEOUT
We consider the following Problem:
Strict Trs:
{ acka(y(), n) -> s(n)
, acka(a(m), y()) -> acka(m, s(0()))
, acka(a(m), a(n)) -> acka(m, ackb(s(m), n))
, ackb(z(), n) -> s(n)
, ackb(b(m), z()) -> ackb(m, s(0()))
, ackb(b(m), b(n)) -> acka(m, ackb(s(m), n))
, s(n) -> a(n)
, s(n) -> b(n)
, 0() -> y()
, 0() -> z()}
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:
{ acka(y(), n) -> s(n)
, acka(a(m), y()) -> acka(m, s(0()))
, acka(a(m), a(n)) -> acka(m, ackb(s(m), n))
, ackb(z(), n) -> s(n)
, ackb(b(m), z()) -> ackb(m, s(0()))
, ackb(b(m), b(n)) -> acka(m, ackb(s(m), n))
, s(n) -> a(n)
, s(n) -> b(n)
, 0() -> y()
, 0() -> z()}
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:
{ acka(y(), n) -> s(n)
, acka(a(m), y()) -> acka(m, s(0()))
, acka(a(m), a(n)) -> acka(m, ackb(s(m), n))
, ackb(z(), n) -> s(n)
, ackb(b(m), z()) -> ackb(m, s(0()))
, ackb(b(m), b(n)) -> acka(m, ackb(s(m), n))
, s(n) -> a(n)
, s(n) -> b(n)
, 0() -> y()
, 0() -> z()}
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 pair3rc
stdout:
TIMEOUT
We consider the following Problem:
Strict Trs:
{ acka(y(), n) -> s(n)
, acka(a(m), y()) -> acka(m, s(0()))
, acka(a(m), a(n)) -> acka(m, ackb(s(m), n))
, ackb(z(), n) -> s(n)
, ackb(b(m), z()) -> ackb(m, s(0()))
, ackb(b(m), b(n)) -> acka(m, ackb(s(m), n))
, s(n) -> a(n)
, s(n) -> b(n)
, 0() -> y()
, 0() -> z()}
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:
{ acka(y(), n) -> s(n)
, acka(a(m), y()) -> acka(m, s(0()))
, acka(a(m), a(n)) -> acka(m, ackb(s(m), n))
, ackb(z(), n) -> s(n)
, ackb(b(m), z()) -> ackb(m, s(0()))
, ackb(b(m), b(n)) -> acka(m, ackb(s(m), n))
, s(n) -> a(n)
, s(n) -> b(n)
, 0() -> y()
, 0() -> z()}
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:
{ acka(y(), n) -> s(n)
, acka(a(m), y()) -> acka(m, s(0()))
, acka(a(m), a(n)) -> acka(m, ackb(s(m), n))
, ackb(z(), n) -> s(n)
, ackb(b(m), z()) -> ackb(m, s(0()))
, ackb(b(m), b(n)) -> acka(m, ackb(s(m), n))
, s(n) -> a(n)
, s(n) -> b(n)
, 0() -> y()
, 0() -> z()}
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..