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


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


MAYBE


******** Signature ********
 0 : a
 lim : (a -> a) -> a
 n : a
 rec : (b,((a,b) -> b),(((a -> a),b) -> b),a) -> b
 rectuv : (b,((a,b) -> b),(((a -> a),b) -> b),a) -> b
 s : a -> a
******** Computation Rules ********
 (1)  rec(X,Z,G,0) => X
 (2)  rec(V,I,J,s(X1)) => I[X1,rec(V,I,J,X1)]
 (3)  rec(U1,H1,I1,lim(Z1)) => I1[Z1,rectuv(U1,H1,I1,Z1[n])]
 (4)  rectuv(P1,F2,Z2,n) => rec(P1,F2,Z2,n)

MAYBE