/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:
    app(app(app(app(fold(),f_3),g_2),x),app(app(cons(),z),t)) -> app(app(f_3,app(g_2,z))
                                                                    ,app(app(app(app(fold(),f_3),g_2),x),t))
    app(app(app(app(fold(),f_3),g_2),x),nil()) -> x
    app(app(app(compose(),g_1),f_1),x) -> app(g_1,app(f_1,x))
    app(app(app(swap(),f_2),y),x) -> app(app(f_2,x),y)
    app(app(app(uncurry(),f_2),x),y) -> app(app(f_2,x),y)
    app(app(apply(),f_1),x) -> app(f_1,x)
    app(app(const(),x),y) -> x
    app(app(uncurry(),app(app(fold(),cons()),id())),nil()) -> id()
    app(id(),x) -> x
    app(listify(),x) -> app(app(cons(),x),nil())
    app(sum(),l) -> app(app(app(app(fold(),add()),id()),0()),l)
    append() -> app(app(compose(),app(app(swap(),fold()),cons())),id())
    length() -> app(app(uncurry(),app(app(fold(),add()),app(cons(),1()))),0())
    reverse() -> app(app(uncurry(),app(app(fold(),app(swap(),append())),listify())),nil())
- Signature:
    {app/2,append/0,length/0,reverse/0} / {0/0,1/0,add/0,apply/0,compose/0,cons/0,const/0,fold/0,id/0,listify/0
    ,nil/0,sum/0,swap/0,uncurry/0}
- Obligation:
    innermost derivational complexity wrt. signature {0,1,add,app,append,apply,compose,cons,const,fold,id,length
    ,listify,nil,reverse,sum,swap,uncurry}
The problem is still open.