/export/starexec/sandbox/solver/bin/starexec_run_hrs /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- MAYBE ******** Signature ******** f : (nat,nat) -> nat g : (nat -> nat) -> nat ******** Computation Rules ******** (1) f(g(x.f(x,x)),g(x.f(x,x))) => ap(x.f(x,x),g(x.f(x,x))) MAYBE