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?

Author: ssoelvsten

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" ],