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


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


MAYBE


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

MAYBE