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


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


MAYBE


******** Signature ********
 cons : (a,alist) -> alist
 foldl : (((a,a) -> a),a,alist) -> a
 nil : alist
 xap : (((a,a) -> a),a,a) -> a
 yap : ((a -> a),a) -> a
******** Computation Rules ********
 (1)  foldl(%X.%Y.yap(xap(F,%X),%Y),Y,nil) => Y
 (2)  foldl(%Z.%U.yap(xap(G,%Z),%U),V,cons(W,P)) => foldl(%V.%W.yap(xap(G,%V),%W),yap(xap(G,V),W),P)
 (3)  xap(F1,Y1) => F1[Y1]
 (4)  yap(G1,V1) => G1[V1]

MAYBE