/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:
    greaters(x,.(y,z)) -> if(<=(y,x),greaters(x,z),.(y,greaters(x,z)))
    greaters(x,nil()) -> nil()
    lowers(x,.(y,z)) -> if(<=(y,x),.(y,lowers(x,z)),lowers(x,z))
    lowers(x,nil()) -> nil()
    qsort(.(x,y)) -> ++(qsort(lowers(x,y)),.(x,qsort(greaters(x,y))))
    qsort(nil()) -> nil()
- Signature:
    {greaters/2,lowers/2,qsort/1} / {++/2,./2,<=/2,if/3,nil/0}
- Obligation:
    innermost derivational complexity wrt. signature {++,.,<=,greaters,if,lowers,nil,qsort}
The problem is still open.