Switch EPFL arbiter to 'LEVEL_DFS' on grendel

This takes considerably less and less memory this way. We may actually need to reconsider all benchmarks like this?
SSoelvsten · Nov 1, 2022 · de2260d · de2260d
1 parent b0721c9
commit de2260d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/grendel/grendel_gen.py b/grendel/grendel_gen.py
@@ -197,7 +197,7 @@ def script_str_N(variant, problem_name, N, sylvan_M, time, option):
     ],
 
     ["random_control",
-     [[ "arbiter",   256 * 1024, ["00-16:00", "10-00:00"], "INPUT" ],
+     [[ "arbiter",    32 * 1024, ["00-01:00", "00-02:00"], "LEVEL_DFS" ],
       [ "cavlc",            140, ["00-00:10", "00-00:10"], "INPUT" ],
       [ "ctrl",             140, ["00-00:10", "00-00:10"], "INPUT" ],
       [ "dec",              140, ["00-00:10", "00-00:10"], "INPUT" ],