upload z3-inc-z3++ (#156)

* upload z3-inc-z3++, the base solver is z3-4-13-4-inc

* upload z3-inc-z3++, the base solver is z3-4-13-4-inc

* set the empty contributor/contacts/system_description for z3-4-13-4

* update the system description of z3

* update contributors

Author: DouglasLee001

submissions/Z3-4-13-4-inc.json

@@ -0,0 +1,19 @@
+{
+    "name": "Z3-4-13-4-inc",
+    "archive": {
+        "url": "https://zenodo.org/records/15524795/files/z3.zip"
+    },
+    "contributors": [
+        "Nikolaj Bjørner"
+    ],
+    "contacts": ["Nikolaj Bjørner <[email protected]>"],
+    "website": "https://github.com/Z3Prover/z3/wiki",
+    "system_description": "https://link.springer.com/chapter/10.1007/978-3-540-78800-3_24",
+    "command": [ "./smtcomp_run_incremental" ],
+    "solver_type": "Standalone",
+    "seed": 174228,
+    "participations": [
+        { "tracks": ["Incremental"], "logics": "QF_NIA" }
+    ],
+    "competitive": false
+}

submissions/Z3-Inc-Z3++.json

@@ -0,0 +1,19 @@
+{
+    "name": "Z3-Inc-Z3++",
+    "contributors": [
+        "Bohan Li",
+        "Shaowei Cai"
+    ],
+    "contacts": ["Bohan Li <[email protected]>", "Shaowei Cai <[email protected]>"],
+    "archive": {
+        "url": "https://zenodo.org/records/15516426/files/new.zip"
+    },
+    "website": "https://z3-plus-plus.github.io/",
+    "system_description": "https://github.com/z3-plus-plus/z3-plus-plus.github.io/blob/main/Z3%2B%2B_in_SMT_COMP_2025.pdf",
+    "command": [ "./smtcomp_run_incremental" ],
+    "solver_type": "derived",
+    "seed": "19970530",
+    "participations": [
+        { "tracks": ["Incremental"], "logics": "QF_NIA" }
+    ]
+}