/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:
    admit(x,.(u,.(v,.(w(),z)))) -> cond(=(sum(x,u,v),w()),.(u,.(v,.(w(),admit(carry(x,u,v),z)))))
    admit(x,nil()) -> nil()
    cond(true(),y) -> y
- Signature:
    {admit/2,cond/2} / {./2,=/2,carry/3,nil/0,sum/3,true/0,w/0}
- Obligation:
    innermost derivational complexity wrt. signature {.,=,admit,carry,cond,nil,sum,true,w}
The problem is still open.