Problem Waldmann 07 size12 size-12-alpha-3-num-275

Tool CaT

Execution Time	Unknown
Answer	MAYBE
Input	Waldmann 07 size12 size-12-alpha-3-num-275

stdout:

MAYBE

Problem:
a(x1) -> x1
a(b(x1)) -> c(b(x1))
a(c(c(x1))) -> c(c(a(a(x1))))

Proof:
Complexity Transformation Processor:
  strict:
   a(x1) -> x1
   a(b(x1)) -> c(b(x1))
   a(c(c(x1))) -> c(c(a(a(x1))))
  weak:

  Bounds Processor:
   bound: 1
   enrichment: match
   automaton:
    final states: {3}
    transitions:
     c1(50) -> 51*
     c1(5) -> 6*
     c1(49) -> 50*
     c1(18) -> 19*
     b1(14) -> 15*
     b1(4) -> 5*
     a1(25) -> 26*
     a1(82) -> 83*
     a1(47) -> 48*
     a1(17) -> 18*
     a1(16) -> 17*
     a1(48) -> 49*
     a0(2) -> 3*
     a0(1) -> 3*
     b0(2) -> 1*
     b0(1) -> 1*
     c0(2) -> 2*
     c0(1) -> 2*
     1 -> 3,25,14
     2 -> 3,16,4
     6 -> 83,49,48,26,3
     15 -> 5*
     16 -> 17*
     17 -> 18*
     18 -> 47*
     19 -> 5*
     25 -> 26*
     26 -> 17*
     47 -> 48*
     48 -> 49*
     49 -> 82*
     51 -> 48,49,18
     82 -> 83*
     83 -> 16*
   problem:
    strict:
     a(c(c(x1))) -> c(c(a(a(x1))))
     a(x1) -> x1
    weak:
     a(b(x1)) -> c(b(x1))
   Matrix Interpretation Processor:
    dimension: 1
    max_matrix:
     1
     interpretation:
      [c](x0) = x0 + 1,

      [b](x0) = x0,

      [a](x0) = x0 + 32
     orientation:
      a(c(c(x1))) = x1 + 34 >= x1 + 66 = c(c(a(a(x1))))

      a(x1) = x1 + 32 >= x1 = x1

      a(b(x1)) = x1 + 32 >= x1 + 1 = c(b(x1))
     problem:
      strict:
       a(c(c(x1))) -> c(c(a(a(x1))))
      weak:
       a(x1) -> x1
       a(b(x1)) -> c(b(x1))
     Open

Tool IRC1

Execution Time	Unknown
Answer	MAYBE
Input	Waldmann 07 size12 size-12-alpha-3-num-275

stdout:

MAYBE

Tool IRC2

Execution Time	Unknown
Answer	TIMEOUT
Input	Waldmann 07 size12 size-12-alpha-3-num-275

stdout:

TIMEOUT

'Fastest (timeout of 60.0 seconds)'
-----------------------------------
Answer:           TIMEOUT
Input Problem:    innermost runtime-complexity with respect to
  Rules:
    {  a(x1) -> x1
     , a(b(x1)) -> c(b(x1))
     , a(c(c(x1))) -> c(c(a(a(x1))))}

Proof Output:
  Computation stopped due to timeout after 60.0 seconds

Tool RC1

Execution Time	Unknown
Answer	MAYBE
Input	Waldmann 07 size12 size-12-alpha-3-num-275

stdout:

MAYBE

Tool RC2

Execution Time	Unknown
Answer	TIMEOUT
Input	Waldmann 07 size12 size-12-alpha-3-num-275

stdout:

TIMEOUT

'Fastest (timeout of 60.0 seconds)'
-----------------------------------
Answer:           TIMEOUT
Input Problem:    runtime-complexity with respect to
  Rules:
    {  a(x1) -> x1
     , a(b(x1)) -> c(b(x1))
     , a(c(c(x1))) -> c(c(a(a(x1))))}

Proof Output:
  Computation stopped due to timeout after 60.0 seconds