update benchmark.py

SECQUOIA · May 29, 2024 · 0ef4d79 · 0ef4d79
1 parent c568584
commit 0ef4d79
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/benchmark.py b/benchmark.py
@@ -79,7 +79,8 @@ def benchmark(model, strategy, timelimit, result_dir, subsolver="scip"):
         # "hda",
         "jobshop",
         # "kaibel",
-        # "logical",
+        # "positioning",
+        # "spectralog",
         # "med_term_purchasing",
         # "methanol",
         # "mod_hens",