/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:
    D(*(x,y)) -> +(*(y,D(x)),*(x,D(y)))
    D(+(x,y)) -> +(D(x),D(y))
    D(-(x,y)) -> -(D(x),D(y))
    D(constant()) -> 0()
    D(div(x,y)) -> -(div(D(x),y),div(*(x,D(y)),pow(y,2())))
    D(ln(x)) -> div(D(x),x)
    D(minus(x)) -> minus(D(x))
    D(pow(x,y)) -> +(*(*(y,pow(x,-(y,1()))),D(x)),*(*(pow(x,y),ln(x)),D(y)))
    D(t()) -> 1()
- Signature:
    {D/1} / {*/2,+/2,-/2,0/0,1/0,2/0,constant/0,div/2,ln/1,minus/1,pow/2,t/0}
- Obligation:
    innermost derivational complexity wrt. signature {*,+,-,0,1,2,D,constant,div,ln,minus,pow,t}
The problem is still open.