/export/starexec/sandbox2/solver/bin/starexec_run_tct_dci_cert /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files


--------------------------------------------------------------------------------


MAYBE
EmptyProcessor
- Strict TRS:
    filter(s(s(X)),cons(Y,Z)) -> if(divides(s(s(X)),Y),filter(s(s(X)),Z),cons(Y,filter(X,sieve(Y))))
    from(X) -> cons(X,from(s(X)))
    head(cons(X,Y)) -> X
    if(false(),X,Y) -> Y
    if(true(),X,Y) -> X
    primes() -> sieve(from(s(s(0()))))
    sieve(cons(X,Y)) -> cons(X,filter(X,sieve(Y)))
    tail(cons(X,Y)) -> Y
- Signature:
    {filter/2,from/1,head/1,if/3,primes/0,sieve/1,tail/1} / {0/0,cons/2,divides/2,false/0,s/1,true/0}
- Obligation:
    innermost derivational complexity wrt. signature {0,cons,divides,false,filter,from,head,if,primes,s,sieve
    ,tail,true}
The problem is still open.