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


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


MAYBE


******** Signature ********
 0 : c
 1 : c
 add : (c,a) -> c
 cons : (a,b) -> b
 fold : (((c,a) -> c),b,c) -> c
 mul : (c,a) -> c
 nil : b
 prod : b -> c
 sum : b -> c
 xap : (((c,a) -> c),c,a) -> c
 yap : ((a -> c),a) -> c
******** Computation Rules ********
 (1)  fold(%X.%Y.yap(xap(F,%X),%Y),nil,Y) => Y
 (2)  fold(%Z.%U.yap(xap(G,%Z),%U),cons(V,W),P) => fold(%V.%W.yap(xap(G,%V),%W),W,yap(xap(G,P),V))
 (3)  sum(X1) => fold(%F.%G.yap(xap(add,%F),%G),X1,0)
 (4)  fold(mul,Y1,1) => prod(Y1)
 (5)  xap(G1,V1) => G1[V1]
 (6)  yap(I1,P1) => I1[P1]

MAYBE