/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(filtersub(),false()),f),app(app(cons(),y),ys)) -> app(app(filter(),f),ys)
    app(app(app(filtersub(),true()),f),app(app(cons(),y),ys)) -> app(app(cons(),y),app(app(filter(),f),ys))
    app(app(filter(),f),app(app(cons(),y),ys)) -> app(app(app(filtersub(),app(f,y)),f),app(app(cons(),y),ys))
    app(app(filter(),f),nil()) -> nil()
    app(app(neq(),0()),0()) -> false()
    app(app(neq(),0()),app(s(),y)) -> true()
    app(app(neq(),app(s(),x)),0()) -> true()
    app(app(neq(),app(s(),x)),app(s(),y)) -> app(app(neq(),x),y)
    nonzero() -> app(filter(),app(neq(),0()))
- Signature:
    {app/2,nonzero/0} / {0/0,cons/0,false/0,filter/0,filtersub/0,neq/0,nil/0,s/0,true/0}
- Obligation:
    innermost derivational complexity wrt. signature {0,app,cons,false,filter,filtersub,neq,nil,nonzero,s,true}
The problem is still open.