Problem TCT 09 supexpur

Tool CaT

Execution TimeUnknown
Answer
MAYBE
InputTCT 09 supexpur

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

Execution TimeUnknown
Answer
MAYBE
InputTCT 09 supexpur

stdout:

MAYBE

Tool IRC2

Execution TimeUnknown
Answer
TIMEOUT
InputTCT 09 supexpur

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 seconds

Tool RC1

Execution TimeUnknown
Answer
MAYBE
InputTCT 09 supexpur

stdout:

MAYBE

Tool RC2

Execution TimeUnknown
Answer
TIMEOUT
InputTCT 09 supexpur

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 seconds

Tool pair1rc

Execution TimeUnknown
Answer
TIMEOUT
InputTCT 09 supexpur

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

Execution TimeUnknown
Answer
TIMEOUT
InputTCT 09 supexpur

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

Execution TimeUnknown
Answer
TIMEOUT
InputTCT 09 supexpur

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

Execution TimeUnknown
Answer
TIMEOUT
InputTCT 09 supexpur

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

Execution Time60.512817ms
Answer
TIMEOUT
InputTCT 09 supexpur

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..