Switch EPFL voter to 'LEVEL_DFS' on grendel

This runs considerably faster and only creates BDDs of up to 250 MiB
SSoelvsten · Nov 1, 2022 · b0721c9 · b0721c9
1 parent 7da885d
commit b0721c9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/grendel/grendel_gen.py b/grendel/grendel_gen.py
@@ -206,7 +206,7 @@ def script_str_N(variant, problem_name, N, sylvan_M, time, option):
       [ "mem_ctrl",    2 * 1024, ["00-00:10", "00-00:10"], "LEVEL_DFS" ],
       [ "priority",         140, ["00-00:10", "00-00:10"], "INPUT" ],
       [ "router",           140, ["00-00:10", "00-00:10"], "INPUT" ],
-      [ "voter",      64 * 1024, ["00-04:00", "00-12:00"], "INPUT" ],
+      [ "voter",      64 * 1024, ["00-01:00", "00-02:00"], "LEVEL_DFS" ],
      ]
     ]
 ]