diff --git a/submissions/z3-alpha2-base.json b/submissions/z3-alpha2-base.json
new file mode 100644
index 000000000..a8a0fdfb8
--- /dev/null
+++ b/submissions/z3-alpha2-base.json
@@ -0,0 +1,31 @@
+{
+    "name": "Z3-alpha2-base",
+    "contributors": [
+        "Nikolaj Bjørner et al."
+    ],
+    "contacts": ["Nikolaj Bjørner <nbjorner@microsoft.com>"],
+    "archive": {
+        "url": "https://zenodo.org/records/20595207/files/z3-4.16.0.tar.gz?download=1"
+    },
+    "website": "https://github.com/z3prover/z3",
+    "system_description": "https://link.springer.com/chapter/10.1007/978-3-540-78800-3_24",
+    "solver_type": "Standalone",
+    "command": ["./z3"],
+    "seed": "33",
+    "participations": [
+        { 
+            "tracks": ["SingleQuery"], 
+            "divisions": [
+                "Arith",
+                "QF_Bitvec",
+                "QF_Datatypes",
+                "QF_LinearIntArith",
+                "QF_Equality+NonLinearArith",
+                "QF_NonLinearIntArith",
+                "QF_NonLinearRealArith"
+            ]
+        }
+    ],
+    "competitive": false,
+    "final" : true
+}
diff --git a/submissions/z3-alpha2-debug.json b/submissions/z3-alpha2-debug.json
new file mode 100644
index 000000000..f19065beb
--- /dev/null
+++ b/submissions/z3-alpha2-debug.json
@@ -0,0 +1,36 @@
+{
+    "name": "Z3-alpha2-debug",
+    "contributors": [
+        "John Lu", 
+        "Avik Kumar",
+        "Piyush Jha",
+        "Arie Gurfinkel",
+        "Vijay Ganesh" 
+    ],
+    "contacts": ["John Lu <z52lu@uwaterloo.ca>"],
+    "archive": {
+        "url": "https://github.com/JohnLyu2/z3alpha/releases/download/z3alpha2-smtcomp26-1st/z3alpha2_smtcomp26.tar.gz",
+        "sha256": "87bcd6b9a0b7ee864b63fe906840716f2cfbcfc83bdab31a8708f3b9d98bae5d"
+    },
+    "website": "https://github.com/JohnLyu2/z3alpha",
+    "system_description": "https://drive.google.com/uc?export=download&id=1Fy4tiFo65ADRk7H2Dc_ykGR2i7ksXxkQ",
+    "solver_type": "derived",
+    "command": ["./z3alpha2_debug.py"],
+    "seed": "33",
+    "participations": [
+        { 
+            "tracks": ["SingleQuery"], 
+            "divisions": [
+                "Arith",
+                "QF_Bitvec",
+                "QF_Datatypes",
+                "QF_LinearIntArith",
+                "QF_Equality+NonLinearArith",
+                "QF_NonLinearIntArith",
+                "QF_NonLinearRealArith"
+            ]
+        }
+    ],
+    "competitive": false,
+    "final" : false
+}
diff --git a/submissions/z3-alpha2.json b/submissions/z3-alpha2.json
new file mode 100644
index 000000000..37b69c676
--- /dev/null
+++ b/submissions/z3-alpha2.json
@@ -0,0 +1,34 @@
+{
+    "name": "Z3-alpha2",
+    "contributors": [
+        "John Lu", 
+        "Avik Kumar",
+        "Piyush Jha",
+        "Arie Gurfinkel",
+        "Vijay Ganesh" 
+    ],
+    "contacts": ["John Lu <z52lu@uwaterloo.ca>"],
+    "archive": {
+        "url": "https://zenodo.org/records/20636095/files/z3alpha2_smtcomp26.tar.gz?download=1"
+    },
+    "website": "https://github.com/JohnLyu2/z3alpha",
+    "system_description": "https://drive.google.com/uc?export=download&id=1Fy4tiFo65ADRk7H2Dc_ykGR2i7ksXxkQ",
+    "solver_type": "derived",
+    "command": ["./z3alpha2.py"],
+    "seed": "33",
+    "participations": [
+        { 
+            "tracks": ["SingleQuery"], 
+            "divisions": [
+                "Arith",
+                "QF_Bitvec",
+                "QF_Datatypes",
+                "QF_LinearIntArith",
+                "QF_Equality+NonLinearArith",
+                "QF_NonLinearIntArith",
+                "QF_NonLinearRealArith"
+            ]
+        }
+    ],
+    "final" : true
+}