/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:
    eq(0(),0()) -> true()
    eq(0(),s(X)) -> false()
    eq(s(X),0()) -> false()
    eq(s(X),s(Y)) -> eq(X,Y)
    ifrm(false(),N,add(M,X)) -> add(M,rm(N,X))
    ifrm(true(),N,add(M,X)) -> rm(N,X)
    purge(add(N,X)) -> add(N,purge(rm(N,X)))
    purge(nil()) -> nil()
    rm(N,add(M,X)) -> ifrm(eq(N,M),N,add(M,X))
    rm(N,nil()) -> nil()
- Signature:
    {eq/2,ifrm/3,purge/1,rm/2} / {0/0,add/2,false/0,nil/0,s/1,true/0}
- Obligation:
    innermost derivational complexity wrt. signature {0,add,eq,false,ifrm,nil,purge,rm,s,true}
The problem is still open.