/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:
    =(.(x,y),.(u(),v())) -> and(=(x,u()),=(y,v()))
    =(.(x,y),nil()) -> false()
    =(nil(),.(y,z)) -> false()
    =(nil(),nil()) -> true()
    del(.(x,.(y,z))) -> f(=(x,y),x,y,z)
    f(false(),x,y,z) -> .(x,del(.(y,z)))
    f(true(),x,y,z) -> del(.(y,z))
- Signature:
    {=/2,del/1,f/4} / {./2,and/2,false/0,nil/0,true/0,u/0,v/0}
- Obligation:
    innermost derivational complexity wrt. signature {.,=,and,del,f,false,nil,true,u,v}
The problem is still open.