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


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


MAYBE


******** Signature ********
 cons : (b,c) -> c
 false : a
 filter : ((b -> a),c) -> c
 filtersub : (a,(b -> a),c) -> c
 nil : c
 true : a
******** Computation Rules ********
 (1)  filter(F,nil) => nil
 (2)  filter(Z,cons(U,V)) => filtersub(Z[U],Z,cons(U,V))
 (3)  filtersub(true,I,cons(P,X1)) => cons(P,filter(I,X1))
 (4)  filtersub(false,Z1,cons(U1,V1)) => filter(Z1,V1)

MAYBE