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