/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:
    cond(false(),n,l) -> tail(nthtail(s(n),l))
    cond(true(),n,l) -> l
    ge(u,0()) -> true()
    ge(0(),s(v)) -> false()
    ge(s(u),s(v)) -> ge(u,v)
    length(cons(x,l)) -> s(length(l))
    length(nil()) -> 0()
    nthtail(n,l) -> cond(ge(n,length(l)),n,l)
    tail(cons(x,l)) -> l
    tail(nil()) -> nil()
- Signature:
    {cond/3,ge/2,length/1,nthtail/2,tail/1} / {0/0,cons/2,false/0,nil/0,s/1,true/0}
- Obligation:
    innermost derivational complexity wrt. signature {0,cond,cons,false,ge,length,nil,nthtail,s,tail,true}
The problem is still open.