From 74c14fab178f7981c267c25682806991cca343e0 Mon Sep 17 00:00:00 2001
From: Mengyu Zhao <142597405+zmylinxi99@users.noreply.github.com>
Date: Thu, 13 Jun 2024 15:01:11 +0800
Subject: [PATCH] Update and rename the solver submission

---
 submissions/BVParti.json            | 17 -----------------
 submissions/STP-Parti-Bitwuzla.json | 20 ++++++++++++++++++++
 2 files changed, 20 insertions(+), 17 deletions(-)
 delete mode 100644 submissions/BVParti.json
 create mode 100644 submissions/STP-Parti-Bitwuzla.json

diff --git a/submissions/BVParti.json b/submissions/BVParti.json
deleted file mode 100644
index f45ea751..00000000
--- a/submissions/BVParti.json
+++ /dev/null
@@ -1,17 +0,0 @@
-{
-    "name": "BVParti",
-    "contributors": ["Mengyu Zhao", "Jinkun Lin", "Shaowei Cai"],
-    "contacts": ["Mengyu Zhao <zhaomy@ios.ac.cn>"],
-    "website": "https://github.com/shaowei-cai-group/VarParti-at-SMT-COMP-2024",
-    "system_description": "https://github.com/shaowei-cai-group/VarParti-at-SMT-COMP-2024/blob/master/system-descriptions/BVParti_at_SMT_COMP_2024.pdf",
-    "solver_type": "portfolio",
-    "seed": "998244353",
-    "participations": [
-        {
-            "tracks": ["Parallel", "Cloud"],
-            "logics": ["QF_BV"],
-            "command": ["python3", "run-BVParti-json.py", "<request_directory>"],
-            "aws_repository": "https://github.com/shaowei-cai-group/VarParti-at-SMT-COMP-2024/tree/master/solver-files/BVParti"
-        }
-    ]
-}
diff --git a/submissions/STP-Parti-Bitwuzla.json b/submissions/STP-Parti-Bitwuzla.json
new file mode 100644
index 00000000..5677bc69
--- /dev/null
+++ b/submissions/STP-Parti-Bitwuzla.json
@@ -0,0 +1,20 @@
+{
+    "name": "STP-Parti-Bitwuzla",
+    "contributors": ["Mengyu Zhao", "Jinkun Lin", "Shaowei Cai"],
+    "contacts": ["Mengyu Zhao <zhaomy@ios.ac.cn>"],
+    "archive": {
+        "url": "https://zenodo.org/records/11629029/files/STP-Parti-Bitwuzla.zip",
+        "h": { "sha256": "88EDA70CE36527B1639D468F68528EA93507185ED80EA736B8809555C21ACD4E" }
+    },
+    "website": "https://github.com/shaowei-cai-group/STP-Parti-Bitwuzla-at-SMT-COMP-2024",
+    "system_description": "https://github.com/shaowei-cai-group/STP-Parti-Bitwuzla-at-SMT-COMP-2024/blob/master/STP_Parti_Bitwuzla_at_SMT_COMP_2024.pdf",
+    "solver_type": "Portfolio",
+    "seed": "998244353",
+    "participations": [
+        {
+            "tracks": ["Parallel", "Cloud"],
+            "logics": ["QF_BV"],
+            "aws_repository": "https://github.com/shaowei-cai-group/STP-Parti-Bitwuzla-at-SMT-COMP-2024"
+        }
+    ]
+}