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