/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(if(),true()),x),y) -> x
    app(app(app(if(),true()),x),y) -> y
    app(app(dropWhile(),p),app(app(cons(),x),xs)) -> app(app(app(if(),app(p,x)),app(app(dropWhile(),p),xs))
                                                        ,app(app(cons(),x),xs))
    app(app(dropWhile(),p),nil()) -> nil()
    app(app(takeWhile(),p),app(app(cons(),x),xs)) -> app(app(app(if(),app(p,x))
                                                            ,app(app(cons(),x),app(app(takeWhile(),p),xs)))
                                                        ,nil())
    app(app(takeWhile(),p),nil()) -> nil()
- Signature:
    {app/2} / {cons/0,dropWhile/0,if/0,nil/0,takeWhile/0,true/0}
- Obligation:
    innermost derivational complexity wrt. signature {app,cons,dropWhile,if,nil,takeWhile,true}
The problem is still open.