/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:
    f(t,x) -> f'(t,g(x))
    f'(triple(a,b,c),A()) -> f''(foldB(triple(s(a),0(),c),b))
    f'(triple(a,b,c),B()) -> f(triple(a,b,c),A())
    f'(triple(a,b,c),C()) -> triple(a,b,s(c))
    f''(triple(a,b,c)) -> foldC(triple(a,b,0()),c)
    fold(t,x,0()) -> t
    fold(t,x,s(n)) -> f(fold(t,x,n),x)
    foldB(t,0()) -> t
    foldB(t,s(n)) -> f(foldB(t,n),B())
    foldC(t,0()) -> t
    foldC(t,s(n)) -> f(foldC(t,n),C())
    g(A()) -> A()
    g(B()) -> A()
    g(B()) -> B()
    g(C()) -> A()
    g(C()) -> B()
    g(C()) -> C()
- Signature:
    {f/2,f'/2,f''/1,fold/3,foldB/2,foldC/2,g/1} / {0/0,A/0,B/0,C/0,s/1,triple/3}
- Obligation:
    innermost derivational complexity wrt. signature {0,A,B,C,f,f',f'',fold,foldB,foldC,g,s,triple}
The problem is still open.