/export/starexec/sandbox2/solver/bin/starexec_run_default /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files


--------------------------------------------------------------------------------


MAYBE

Check SN using NaTT (Nagoya Termination Tool)

...

******** Signature ********
 f : (nat,nat,nat) -> nat
 g : (nat,(nat -> nat)) -> nat
 h : (nat,nat) -> nat
 s : nat -> nat
******** Computation Rules ********
 (1)  f(X,Y,s(U)) => g(h(X,Y),%X.f(%X,X,U))
 (2)  h(X,X) => f(X,s(X),s(s(X)))

MAYBE