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


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


MAYBE


******** Signature ********
 0 : a
 rec : (((a,b) -> b),b,a) -> b
 s : a -> a
 xap : (((a,b) -> b),a,b) -> b
 yap : ((b -> b),b) -> b
******** Computation Rules ********
 (1)  rec(%X.%Y.yap(xap(F,%X),%Y),Y,0) => Y
 (2)  rec(%Z.%U.yap(xap(G,%Z),%U),V,s(W)) => yap(xap(G,s(W)),rec(%V.%W.yap(xap(G,%V),%W),V,W))
 (3)  xap(J,X1) => J[X1]
 (4)  yap(Z1,U1) => Z1[U1]

MAYBE