Z3-Siri Submission 2025 (#188)

* Create z3-siri.json

* Update z3-siri.json

* Update z3-siri.json

* Update z3-siri.json

* Update z3-siri.json

* Update z3-siri.json

* Update z3-siri.json

* Update z3-siri.json

* Create z3siri-base

* Rename z3siri-base to z3siri-base.json

rename file

Author: Wang-hn

submissions/z3-siri.json

@@ -0,0 +1,23 @@
+{
+    "name": "z3siri",
+    "contributors": [
+        "BingZhe Zhou",
+        "HanNan Wang"
+    ],
+    "contacts": ["HanNan Wang <[email protected]>"],
+    "archive": {
+        "url": "https://zenodo.org/records/15767287/files/z3siri.zip?download=1"
+    },
+    "website": "https://github.com/SoftWiser-group/SiriSMT",
+    "system_description": "https://drive.google.com/uc?export=download&id=1Hxt10bbkSHYVLfqG-eeQ4w7NkBMjEMM2",
+    "command": ["z3bin"],
+    "solver_type": "derived",
+    "seed": "42",
+    "participations": [
+        { 
+            "tracks": ["SingleQuery"], 
+            "divisions": ["QF_NonLinearIntArith", "QF_NonLinearRealArith", "QF_Bitvec"] 
+        }
+    ],
+    "final": true
+}

submissions/z3siri-base.json

@@ -0,0 +1,21 @@
+{
+    "name": "z3siri-base",
+    "contributors": [
+        "Nikolaj Bjørner et al."
+    ],
+    "contacts": ["Nikolaj Bjørner <[email protected]>"],
+    "archive": {
+        "url": "https://zenodo.org/records/15803376/files/z3.zip?download=1"
+    },
+    "website": "https://github.com/Z3Prover/z3",
+    "system_description": "https://link.springer.com/content/pdf/10.1007/978-3-540-78800-3_24.pdf",
+    "solver_type": "Standalone",
+    "command": ["./z3"],
+    "seed": "33",
+    "participations": [
+        { 
+            "tracks": ["SingleQuery"], 
+            "divisions": ["QF_NonLinearIntArith", "QF_NonLinearRealArith", "QF_Bitvec"]
+        }
+    ]
+}