Tool CaT
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:
OpenTool IRC1
stdout:
MAYBE
Tool IRC2
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 secondsTool RC1
stdout:
MAYBE
Tool RC2
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