/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(cons(N,L),Y) -> cons(N,app(L,Y))
    app(nil(),Y) -> Y
    high(N,cons(M,L)) -> ifhigh(le(M,N),N,cons(M,L))
    high(N,nil()) -> nil()
    ifhigh(false(),N,cons(M,L)) -> cons(M,high(N,L))
    ifhigh(true(),N,cons(M,L)) -> high(N,L)
    iflow(false(),N,cons(M,L)) -> low(N,L)
    iflow(true(),N,cons(M,L)) -> cons(M,low(N,L))
    le(0(),Y) -> true()
    le(s(X),0()) -> false()
    le(s(X),s(Y)) -> le(X,Y)
    low(N,cons(M,L)) -> iflow(le(M,N),N,cons(M,L))
    low(N,nil()) -> nil()
    quicksort(cons(N,L)) -> app(quicksort(low(N,L)),cons(N,quicksort(high(N,L))))
    quicksort(nil()) -> nil()
- Signature:
    {app/2,high/2,ifhigh/3,iflow/3,le/2,low/2,quicksort/1} / {0/0,cons/2,false/0,nil/0,s/1,true/0}
- Obligation:
    innermost derivational complexity wrt. signature {0,app,cons,false,high,ifhigh,iflow,le,low,nil,quicksort,s
    ,true}
The problem is still open.