Z3-alpha SMT-COMP 2025 (#179)

* create the submission JSON

* 2025 first submission

* add base solver JSON

* add seed in base JSON

* update submission JSON

* update final description link

* remove BV from participating division

* update to final solver zenodo link

Author: JohnLyu2

submissions/z3_base.json

@@ -0,0 +1,30 @@
+{
+    "name": "Z3-4.15.0",
+    "contributors": [
+        "Nikolaj Bjørner et al."
+    ],
+    "contacts": ["Nikolaj Bjørner <[email protected]>"],
+    "archive": {
+        "url": "https://zenodo.org/records/15687848/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": [
+                "Arith",
+                "Bitvec",
+                "QF_Bitvec",
+                "QF_LinearIntArith",
+                "QF_LinearRealArith",
+                "QF_NonLinearIntArith",
+                "QF_NonLinearRealArith",
+                "QF_Strings"
+            ]
+        }
+    ]
+}

submissions/z3alpha.json

@@ -0,0 +1,33 @@
+{
+    "name": "Z3-alpha",
+    "contributors": [
+        "John Lu", 
+        "Paul Sarnighausen-Cahn", 
+        "Jiahao Chen", 
+        "Florin Manea", 
+        "Vijay Ganesh" 
+    ],
+    "contacts": ["John Lu <[email protected]>"],
+    "archive": {
+        "url": "https://zenodo.org/records/15765918/files/submission25.zip?download=1"
+    },
+    "website": "https://github.com/JohnLyu2/z3alpha",
+    "system_description": "https://drive.google.com/uc?export=download&id=17n4WbrukfKz7CxdVBXtSQjU_EYmwo1ZR",
+    "solver_type": "derived",
+    "command": ["./z3alpha.py"],
+    "seed": "33",
+    "participations": [
+        { 
+            "tracks": ["SingleQuery"], 
+            "divisions": [
+                "Arith",
+                "QF_Bitvec",
+                "QF_LinearIntArith",
+                "QF_LinearRealArith",
+                "QF_NonLinearIntArith",
+                "QF_NonLinearRealArith",
+                "QF_Strings"
+            ]
+        }
+    ]
+}