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


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


MAYBE


******** Signature ********
 nil : list
 cons : (nat,list) -> list
 xpls : (nat,nat) -> nat
 map : ((nat -> nat),list) -> list
 ps : list -> list
******** Computation Rules ********
 (1)  map(F,nil) => nil
 (2)  map(F,cons(X,Xs)) => cons(F[X],map(F,Xs))
 (3)  ps(nil) => nil
 (4)  ps(cons(X,Xs)) => cons(X,ps(map(y.xpls(X,y),Xs)))

MAYBE