Problem Zantema 08 morse

Tool CaT

Execution Time	Unknown
Answer	MAYBE
Input	Zantema 08 morse

stdout:

MAYBE

Problem:
M() -> h(cons(0(),tail(M())))
tail(cons(x,s)) -> s
h(cons(0(),s)) -> cons(0(),cons(1(),h(s)))
h(cons(1(),s)) -> cons(1(),cons(0(),h(s)))
cons(x,s) -> garbage()

Proof:
Complexity Transformation Processor:
  strict:
   M() -> h(cons(0(),tail(M())))
   tail(cons(x,s)) -> s
   h(cons(0(),s)) -> cons(0(),cons(1(),h(s)))
   h(cons(1(),s)) -> cons(1(),cons(0(),h(s)))
   cons(x,s) -> garbage()
  weak:

  Matrix Interpretation Processor:
   dimension: 1
   max_matrix:
    1
    interpretation:
     [garbage] = 0,

     [1] = 18,

     [h](x0) = x0,

     [cons](x0, x1) = x0 + x1 + 11,

     [tail](x0) = x0 + 28,

     [0] = 217,

     [M] = 0
    orientation:
     M() = 0 >= 256 = h(cons(0(),tail(M())))

     tail(cons(x,s)) = s + x + 39 >= s = s

     h(cons(0(),s)) = s + 228 >= s + 257 = cons(0(),cons(1(),h(s)))

     h(cons(1(),s)) = s + 29 >= s + 257 = cons(1(),cons(0(),h(s)))

     cons(x,s) = s + x + 11 >= 0 = garbage()
    problem:
     strict:
      M() -> h(cons(0(),tail(M())))
      h(cons(0(),s)) -> cons(0(),cons(1(),h(s)))
      h(cons(1(),s)) -> cons(1(),cons(0(),h(s)))
     weak:
      tail(cons(x,s)) -> s
      cons(x,s) -> garbage()
    Open

Tool IRC1

Execution Time	Unknown
Answer	MAYBE
Input	Zantema 08 morse

stdout:

MAYBE
Warning when parsing problem:

Unsupported strategy 'OUTERMOST'

Tool IRC2

Execution Time	Unknown
Answer	TIMEOUT
Input	Zantema 08 morse

stdout:

TIMEOUT

'Fastest (timeout of 60.0 seconds)'
-----------------------------------
Answer:           TIMEOUT
Input Problem:    innermost runtime-complexity with respect to
  Rules:
    {  M() -> h(cons(0(), tail(M())))
     , tail(cons(x, s)) -> s
     , h(cons(0(), s)) -> cons(0(), cons(1(), h(s)))
     , h(cons(1(), s)) -> cons(1(), cons(0(), h(s)))
     , cons(x, s) -> garbage()}

Proof Output:
  Computation stopped due to timeout after 60.0 seconds

Tool RC1

Execution Time	Unknown
Answer	MAYBE
Input	Zantema 08 morse

stdout:

MAYBE
Warning when parsing problem:

Unsupported strategy 'OUTERMOST'

Tool RC2

Execution Time	Unknown
Answer	TIMEOUT
Input	Zantema 08 morse

stdout:

TIMEOUT

'Fastest (timeout of 60.0 seconds)'
-----------------------------------
Answer:           TIMEOUT
Input Problem:    runtime-complexity with respect to
  Rules:
    {  M() -> h(cons(0(), tail(M())))
     , tail(cons(x, s)) -> s
     , h(cons(0(), s)) -> cons(0(), cons(1(), h(s)))
     , h(cons(1(), s)) -> cons(1(), cons(0(), h(s)))
     , cons(x, s) -> garbage()}

Proof Output:
  Computation stopped due to timeout after 60.0 seconds