/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:
    divp(x,y) -> =(rem(x,y),0())
    prime(0()) -> false()
    prime(s(0())) -> false()
    prime(s(s(x))) -> prime1(s(s(x)),s(x))
    prime1(x,0()) -> false()
    prime1(x,s(0())) -> true()
    prime1(x,s(s(y))) -> and(not(divp(s(s(y)),x)),prime1(x,s(y)))
- Signature:
    {divp/2,prime/1,prime1/2} / {0/0,=/2,and/2,false/0,not/1,rem/2,s/1,true/0}
- Obligation:
    innermost derivational complexity wrt. signature {0,=,and,divp,false,not,prime,prime1,rem,s,true}
The problem is still open.