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


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


MAYBE
EmptyProcessor
- Strict TRS:
    b() -> c()
    f(x,x) -> f(a(),b())
- Signature:
    {b/0,f/2} / {a/0,c/0}
- Obligation:
     derivational complexity wrt. signature {a,b,c,f}
The problem is still open.