From 0ef4d790c646fc468b1208b32e707b666ccb29db Mon Sep 17 00:00:00 2001
From: ZedongPeng <peng_zedong@126.com>
Date: Wed, 29 May 2024 16:47:26 -0400
Subject: [PATCH] update benchmark.py

---
 benchmark.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/benchmark.py b/benchmark.py
index 1bb9df8..21dac5d 100644
--- 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",