Problem Transformed CSR 04 ExIntrod GM99 FR

Tool CaT

Execution Time	Unknown
Answer	MAYBE
Input	Transformed CSR 04 ExIntrod GM99 FR

stdout:

MAYBE

Problem:
primes() -> sieve(from(s(s(0()))))
from(X) -> cons(X,n__from(n__s(X)))
head(cons(X,Y)) -> X
tail(cons(X,Y)) -> activate(Y)
if(true(),X,Y) -> activate(X)
if(false(),X,Y) -> activate(Y)
filter(s(s(X)),cons(Y,Z)) ->
if(divides(s(s(X)),Y),n__filter(n__s(n__s(X)),activate(Z)),n__cons(Y,n__filter(X,n__sieve(Y))))
sieve(cons(X,Y)) -> cons(X,n__filter(X,n__sieve(activate(Y))))
from(X) -> n__from(X)
s(X) -> n__s(X)
filter(X1,X2) -> n__filter(X1,X2)
cons(X1,X2) -> n__cons(X1,X2)
sieve(X) -> n__sieve(X)
activate(n__from(X)) -> from(activate(X))
activate(n__s(X)) -> s(activate(X))
activate(n__filter(X1,X2)) -> filter(activate(X1),activate(X2))
activate(n__cons(X1,X2)) -> cons(activate(X1),X2)
activate(n__sieve(X)) -> sieve(activate(X))
activate(X) -> X

Proof:
Open

Tool IRC1

Execution Time	Unknown
Answer	MAYBE
Input	Transformed CSR 04 ExIntrod GM99 FR

stdout:

MAYBE

Tool IRC2

Execution Time	Unknown
Answer	TIMEOUT
Input	Transformed CSR 04 ExIntrod GM99 FR

stdout:

TIMEOUT

'Fastest (timeout of 60.0 seconds)'
-----------------------------------
Answer:           TIMEOUT
Input Problem:    innermost runtime-complexity with respect to
  Rules:
    {  primes() -> sieve(from(s(s(0()))))
     , from(X) -> cons(X, n__from(n__s(X)))
     , head(cons(X, Y)) -> X
     , tail(cons(X, Y)) -> activate(Y)
     , if(true(), X, Y) -> activate(X)
     , if(false(), X, Y) -> activate(Y)
     , filter(s(s(X)), cons(Y, Z)) ->
       if(divides(s(s(X)), Y),
          n__filter(n__s(n__s(X)), activate(Z)),
          n__cons(Y, n__filter(X, n__sieve(Y))))
     , sieve(cons(X, Y)) -> cons(X, n__filter(X, n__sieve(activate(Y))))
     , from(X) -> n__from(X)
     , s(X) -> n__s(X)
     , filter(X1, X2) -> n__filter(X1, X2)
     , cons(X1, X2) -> n__cons(X1, X2)
     , sieve(X) -> n__sieve(X)
     , activate(n__from(X)) -> from(activate(X))
     , activate(n__s(X)) -> s(activate(X))
     , activate(n__filter(X1, X2)) -> filter(activate(X1), activate(X2))
     , activate(n__cons(X1, X2)) -> cons(activate(X1), X2)
     , activate(n__sieve(X)) -> sieve(activate(X))
     , activate(X) -> X}

Proof Output:
  Computation stopped due to timeout after 60.0 seconds

Tool RC1

Execution Time	Unknown
Answer	MAYBE
Input	Transformed CSR 04 ExIntrod GM99 FR

stdout:

MAYBE

Tool RC2

Execution Time	Unknown
Answer	TIMEOUT
Input	Transformed CSR 04 ExIntrod GM99 FR

stdout:

TIMEOUT

'Fastest (timeout of 60.0 seconds)'
-----------------------------------
Answer:           TIMEOUT
Input Problem:    runtime-complexity with respect to
  Rules:
    {  primes() -> sieve(from(s(s(0()))))
     , from(X) -> cons(X, n__from(n__s(X)))
     , head(cons(X, Y)) -> X
     , tail(cons(X, Y)) -> activate(Y)
     , if(true(), X, Y) -> activate(X)
     , if(false(), X, Y) -> activate(Y)
     , filter(s(s(X)), cons(Y, Z)) ->
       if(divides(s(s(X)), Y),
          n__filter(n__s(n__s(X)), activate(Z)),
          n__cons(Y, n__filter(X, n__sieve(Y))))
     , sieve(cons(X, Y)) -> cons(X, n__filter(X, n__sieve(activate(Y))))
     , from(X) -> n__from(X)
     , s(X) -> n__s(X)
     , filter(X1, X2) -> n__filter(X1, X2)
     , cons(X1, X2) -> n__cons(X1, X2)
     , sieve(X) -> n__sieve(X)
     , activate(n__from(X)) -> from(activate(X))
     , activate(n__s(X)) -> s(activate(X))
     , activate(n__filter(X1, X2)) -> filter(activate(X1), activate(X2))
     , activate(n__cons(X1, X2)) -> cons(activate(X1), X2)
     , activate(n__sieve(X)) -> sieve(activate(X))
     , activate(X) -> X}

Proof Output:
  Computation stopped due to timeout after 60.0 seconds