Update and rename the solver submission

SMT-COMP · Jun 19, 2024 · 74c14fa · 74c14fa
1 parent b76d677
commit 74c14fa
Show file tree

Hide file tree

Showing 2 changed files with 20 additions and 17 deletions.
diff --git a/submissions/BVParti.json b/submissions/BVParti.json
diff --git a/submissions/STP-Parti-Bitwuzla.json 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"
+        }
+    ]
+}