/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:
    append(l1,l2) -> ifappend(l1,l2,l1)
    hd(cons(x,l)) -> x
    ifappend(l1,l2,cons(x,l)) -> cons(x,append(l,l2))
    ifappend(l1,l2,nil()) -> l2
    is_empty(cons(x,l)) -> false()
    is_empty(nil()) -> true()
    tl(cons(x,l)) -> l
- Signature:
    {append/2,hd/1,ifappend/3,is_empty/1,tl/1} / {cons/2,false/0,nil/0,true/0}
- Obligation:
    innermost derivational complexity wrt. signature {append,cons,false,hd,ifappend,is_empty,nil,tl,true}
The problem is still open.