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


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


MAYBE

Check SN using NaTT (Nagoya Termination Tool)

...

******** Signature ********
 0 : o
 a : o
 f : (o -> o) -> o
 g : o -> o
 h : (o,o) -> o
 s : o -> o
******** Computation Rules ********
 (1)  a => f(%X.g(%X))
 (2)  f(%Y.X) => a
 (3)  g(Y) => h(Y,Y)
 (4)  h(0,U) => U
 (5)  h(s(V),0) => g(V)

MAYBE