/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:
    addchild(node(y,ys),node(n,xs)) -> node(y,cons(node(n,xs),ys))
    f(node(s(n),xs)) -> f(addchild(select(xs),node(n,xs)))
    select(cons(ap,xs)) -> ap
    select(cons(ap,xs)) -> select(xs)
- Signature:
    {addchild/2,f/1,select/1} / {cons/2,node/2,s/1}
- Obligation:
    innermost derivational complexity wrt. signature {addchild,cons,f,node,s,select}
The problem is still open.