/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:
    *(x,0()) -> 0()
    *(0(),x) -> 0()
    *(I(x),y) -> +(O(*(x,y)),y)
    *(O(x),y) -> O(*(x,y))
    +(x,0()) -> x
    +(0(),x) -> x
    +(I(x),I(y)) -> O(+(+(x,y),I(0())))
    +(I(x),O(y)) -> I(+(x,y))
    +(O(x),I(y)) -> I(+(x,y))
    +(O(x),O(y)) -> O(+(x,y))
    O(0()) -> 0()
- Signature:
    {*/2,+/2,O/1} / {0/0,I/1}
- Obligation:
    innermost derivational complexity wrt. signature {*,+,0,I,O}
The problem is still open.