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