Problem AG01 innermost 4.33

Tool CaT

Execution TimeUnknown
Answer
MAYBE
InputAG01 innermost 4.33

stdout:

MAYBE

Problem:
 sum(cons(s(n),x),cons(m,y)) -> sum(cons(n,x),cons(s(m),y))
 sum(cons(0(),x),y) -> sum(x,y)
 sum(nil(),y) -> y
 weight(cons(n,cons(m,x))) -> weight(sum(cons(n,cons(m,x)),cons(0(),x)))
 weight(cons(n,nil())) -> n

Proof:
 Open

Tool IRC1

Execution TimeUnknown
Answer
MAYBE
InputAG01 innermost 4.33

stdout:

MAYBE

Tool IRC2

Execution TimeUnknown
Answer
TIMEOUT
InputAG01 innermost 4.33

stdout:

TIMEOUT

'Fastest (timeout of 60.0 seconds)'
-----------------------------------
Answer:           TIMEOUT
Input Problem:    innermost runtime-complexity with respect to
  Rules:
    {  sum(cons(s(n), x), cons(m, y)) -> sum(cons(n, x), cons(s(m), y))
     , sum(cons(0(), x), y) -> sum(x, y)
     , sum(nil(), y) -> y
     , weight(cons(n, cons(m, x))) ->
       weight(sum(cons(n, cons(m, x)), cons(0(), x)))
     , weight(cons(n, nil())) -> n}

Proof Output:    
  Computation stopped due to timeout after 60.0 seconds

Tool RC1

Execution TimeUnknown
Answer
MAYBE
InputAG01 innermost 4.33

stdout:

MAYBE

Tool RC2

Execution TimeUnknown
Answer
TIMEOUT
InputAG01 innermost 4.33

stdout:

TIMEOUT

'Fastest (timeout of 60.0 seconds)'
-----------------------------------
Answer:           TIMEOUT
Input Problem:    runtime-complexity with respect to
  Rules:
    {  sum(cons(s(n), x), cons(m, y)) -> sum(cons(n, x), cons(s(m), y))
     , sum(cons(0(), x), y) -> sum(x, y)
     , sum(nil(), y) -> y
     , weight(cons(n, cons(m, x))) ->
       weight(sum(cons(n, cons(m, x)), cons(0(), x)))
     , weight(cons(n, nil())) -> n}

Proof Output:    
  Computation stopped due to timeout after 60.0 seconds