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


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


MAYBE
EmptyProcessor
- Strict TRS:
    app(cons(X,XS),YS) -> cons(X,app(XS,YS))
    app(nil(),YS) -> YS
    from(X) -> cons(X,from(s(X)))
    prefix(L) -> cons(nil(),zWadr(L,prefix(L)))
    zWadr(XS,nil()) -> nil()
    zWadr(cons(X,XS),cons(Y,YS)) -> cons(app(Y,cons(X,nil())),zWadr(XS,YS))
    zWadr(nil(),YS) -> nil()
- Signature:
    {app/2,from/1,prefix/1,zWadr/2} / {cons/2,nil/0,s/1}
- Obligation:
    innermost derivational complexity wrt. signature {app,cons,from,nil,prefix,s,zWadr}
The problem is still open.