add espresso benchmark

1 files changed, 67 insertions, 0 deletions

diff --git a/src/benchmarks/espresso/globals.c b/src/benchmarks/espresso/globals.c
new file mode 100644
index 0000000..dc0b958
--- /dev/null
+++ b/src/benchmarks/espresso/globals.c
@@ -0,0 +1,67 @@
+#include "espresso.h"
+
+/*
+ *    Global Variable Declarations
+ */
+
+unsigned int debug;              /* debug parameter */
+bool verbose_debug;              /* -v:  whether to print a lot */
+char *total_name[TIME_COUNT];    /* basic function names */
+long total_time[TIME_COUNT];     /* time spent in basic fcts */
+int total_calls[TIME_COUNT];     /* # calls to each fct */
+
+bool echo_comments;		 /* turned off by -eat option */
+bool echo_unknown_commands;	 /* always true ?? */
+bool force_irredundant;          /* -nirr command line option */
+bool skip_make_sparse;
+bool kiss;                       /* -kiss command line option */
+bool pos;                        /* -pos command line option */
+bool print_solution;             /* -x command line option */
+bool recompute_onset;            /* -onset command line option */
+bool remove_essential;           /* -ness command line option */
+bool single_expand;              /* -fast command line option */
+bool summary;                    /* -s command line option */
+bool trace;                      /* -t command line option */
+bool unwrap_onset;               /* -nunwrap command line option */
+bool use_random_order;		 /* -random command line option */
+bool use_super_gasp;		 /* -strong command line option */
+char *filename;			 /* filename PLA was read from */
+
+struct pla_types_struct pla_types[] = {
+    "-f", F_type,
+    "-r", R_type,
+    "-d", D_type,
+    "-fd", FD_type,
+    "-fr", FR_type,
+    "-dr", DR_type,
+    "-fdr", FDR_type,
+    "-fc", F_type | CONSTRAINTS_type,
+    "-rc", R_type | CONSTRAINTS_type,
+    "-dc", D_type | CONSTRAINTS_type,
+    "-fdc", FD_type | CONSTRAINTS_type,
+    "-frc", FR_type | CONSTRAINTS_type,
+    "-drc", DR_type | CONSTRAINTS_type,
+    "-fdrc", FDR_type | CONSTRAINTS_type,
+    "-pleasure", PLEASURE_type,
+    "-eqn", EQNTOTT_type,
+    "-eqntott", EQNTOTT_type,
+    "-kiss", KISS_type,
+    "-cons", CONSTRAINTS_type,
+    "-scons", SYMBOLIC_CONSTRAINTS_type,
+    0, 0
+};
+
+
+struct cube_struct cube, temp_cube_save;
+struct cdata_struct cdata, temp_cdata_save;
+
+int bit_count[256] = {
+  0,1,1,2,1,2,2,3,1,2,2,3,2,3,3,4,1,2,2,3,2,3,3,4,2,3,3,4,3,4,4,5,
+  1,2,2,3,2,3,3,4,2,3,3,4,3,4,4,5,2,3,3,4,3,4,4,5,3,4,4,5,4,5,5,6,
+  1,2,2,3,2,3,3,4,2,3,3,4,3,4,4,5,2,3,3,4,3,4,4,5,3,4,4,5,4,5,5,6,
+  2,3,3,4,3,4,4,5,3,4,4,5,4,5,5,6,3,4,4,5,4,5,5,6,4,5,5,6,5,6,6,7,
+  1,2,2,3,2,3,3,4,2,3,3,4,3,4,4,5,2,3,3,4,3,4,4,5,3,4,4,5,4,5,5,6,
+  2,3,3,4,3,4,4,5,3,4,4,5,4,5,5,6,3,4,4,5,4,5,5,6,4,5,5,6,5,6,6,7,
+  2,3,3,4,3,4,4,5,3,4,4,5,4,5,5,6,3,4,4,5,4,5,5,6,4,5,5,6,5,6,6,7,
+  3,4,4,5,4,5,5,6,4,5,5,6,5,6,6,7,4,5,5,6,5,6,6,7,5,6,6,7,6,7,7,8
+};