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


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


MAYBE


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

MAYBE