/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:
    f(x,y,z,0()) -> 2()
    f(g(x),h(x),y,x) -> f(y,y,y,x)
    g(0()) -> 2()
    h(0()) -> 2()
- Signature:
    {f/4,g/1,h/1} / {0/0,2/0}
- Obligation:
    innermost derivational complexity wrt. signature {0,2,f,g,h}
The problem is still open.