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