Tool CaT
Execution Time | Unknown |
---|
Answer | MAYBE |
---|
Input | AG01 3.26 |
---|
stdout:
MAYBE
Problem:
f(x) -> s(x)
f(s(s(x))) -> s(f(f(x)))
Proof:
Complexity Transformation Processor:
strict:
f(x) -> s(x)
f(s(s(x))) -> s(f(f(x)))
weak:
Matrix Interpretation Processor:
dimension: 1
max_matrix:
1
interpretation:
[s](x0) = x0 + 73,
[f](x0) = x0 + 164
orientation:
f(x) = x + 164 >= x + 73 = s(x)
f(s(s(x))) = x + 310 >= x + 401 = s(f(f(x)))
problem:
strict:
f(s(s(x))) -> s(f(f(x)))
weak:
f(x) -> s(x)
Open
Tool IRC1
Execution Time | Unknown |
---|
Answer | MAYBE |
---|
Input | AG01 3.26 |
---|
stdout:
MAYBE
Tool IRC2
Execution Time | Unknown |
---|
Answer | TIMEOUT |
---|
Input | AG01 3.26 |
---|
stdout:
TIMEOUT
'Fastest (timeout of 60.0 seconds)'
-----------------------------------
Answer: TIMEOUT
Input Problem: innermost runtime-complexity with respect to
Rules:
{ f(x) -> s(x)
, f(s(s(x))) -> s(f(f(x)))}
Proof Output:
Computation stopped due to timeout after 60.0 secondsTool RC1
Execution Time | Unknown |
---|
Answer | MAYBE |
---|
Input | AG01 3.26 |
---|
stdout:
MAYBE
Tool RC2
Execution Time | Unknown |
---|
Answer | TIMEOUT |
---|
Input | AG01 3.26 |
---|
stdout:
TIMEOUT
'Fastest (timeout of 60.0 seconds)'
-----------------------------------
Answer: TIMEOUT
Input Problem: runtime-complexity with respect to
Rules:
{ f(x) -> s(x)
, f(s(s(x))) -> s(f(f(x)))}
Proof Output:
Computation stopped due to timeout after 60.0 secondsTool pair1rc
Execution Time | Unknown |
---|
Answer | TIMEOUT |
---|
Input | AG01 3.26 |
---|
stdout:
TIMEOUT
We consider the following Problem:
Strict Trs:
{ f(x) -> s(x)
, f(s(s(x))) -> s(f(f(x)))}
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
Execution Time | Unknown |
---|
Answer | TIMEOUT |
---|
Input | AG01 3.26 |
---|
stdout:
TIMEOUT
We consider the following Problem:
Strict Trs:
{ f(x) -> s(x)
, f(s(s(x))) -> s(f(f(x)))}
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
Execution Time | Unknown |
---|
Answer | TIMEOUT |
---|
Input | AG01 3.26 |
---|
stdout:
TIMEOUT
We consider the following Problem:
Strict Trs:
{ f(x) -> s(x)
, f(s(s(x))) -> s(f(f(x)))}
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
Execution Time | Unknown |
---|
Answer | TIMEOUT |
---|
Input | AG01 3.26 |
---|
stdout:
TIMEOUT
We consider the following Problem:
Strict Trs:
{ f(x) -> s(x)
, f(s(s(x))) -> s(f(f(x)))}
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 | 60.071022ms |
---|
Answer | TIMEOUT |
---|
Input | AG01 3.26 |
---|
stdout:
TIMEOUT
We consider the following Problem:
Strict Trs:
{ f(x) -> s(x)
, f(s(s(x))) -> s(f(f(x)))}
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..