From 77efcab8d8fe80c32946fe39defa952e3046188f Mon Sep 17 00:00:00 2001
From: ValentinPromies <44966217+ValentinPromies@users.noreply.github.com>
Date: Fri, 6 Jun 2025 14:17:41 +0200
Subject: [PATCH 1/2] SMT-RAT submission

---
 submissions/smtrat.json | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)
 create mode 100644 submissions/smtrat.json

diff --git a/submissions/smtrat.json b/submissions/smtrat.json
new file mode 100644
index 00000000..6c94072f
--- /dev/null
+++ b/submissions/smtrat.json
@@ -0,0 +1,21 @@
+{
+    "name": "SMT-RAT",
+    "contributors": [
+        "Jasper Nalbach",
+        "Valentin Promies",
+        "Erika Ábrahám"
+    ],
+    "contacts": ["Jasper Nalbach <nalbach@cs.rwth-aachen.de>", "Valentin Promies <promies@cs.rwth-aachen.de>"],
+    "archive": {
+        "url": "https://github.com/ths-rwth/smtrat/releases/download/25.06-1/smtrat-static.tar.gz"
+    },
+    "website": "https://github.com/ths-rwth/smtrat",
+    "system_description": "https://github.com/ths-rwth/smtrat/blob/master/doc/smtcomp-description/smtcomp-2025.pdf",
+    "command": [ "./smtrat-static" ],
+    "solver_type": "Standalone",
+    "seed": 21,
+    "participations": [
+        { "tracks": ["SingleQuery"], "logics": "(QF_)?NRA" },
+        { "tracks": ["ModelValidation"], "logics": "QF_NRA" }
+    ]
+}

From febceb173a5f5fee112239cd316f2e06c4394f3f Mon Sep 17 00:00:00 2001
From: ValentinPromies <44966217+ValentinPromies@users.noreply.github.com>
Date: Fri, 27 Jun 2025 14:07:11 +0200
Subject: [PATCH 2/2] update urls to zenodo

---
 submissions/smtrat.json | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/submissions/smtrat.json b/submissions/smtrat.json
index 6c94072f..1256c591 100644
--- a/submissions/smtrat.json
+++ b/submissions/smtrat.json
@@ -7,15 +7,16 @@
     ],
     "contacts": ["Jasper Nalbach <nalbach@cs.rwth-aachen.de>", "Valentin Promies <promies@cs.rwth-aachen.de>"],
     "archive": {
-        "url": "https://github.com/ths-rwth/smtrat/releases/download/25.06-1/smtrat-static.tar.gz"
+        "url": "https://zenodo.org/records/15754549/files/smtrat-static.tar.gz"
     },
     "website": "https://github.com/ths-rwth/smtrat",
-    "system_description": "https://github.com/ths-rwth/smtrat/blob/master/doc/smtcomp-description/smtcomp-2025.pdf",
+    "system_description": "https://zenodo.org/records/15754549/files/smtcomp-2025.pdf",
     "command": [ "./smtrat-static" ],
     "solver_type": "Standalone",
     "seed": 21,
     "participations": [
         { "tracks": ["SingleQuery"], "logics": "(QF_)?NRA" },
         { "tracks": ["ModelValidation"], "logics": "QF_NRA" }
-    ]
+    ],
+    "final": true
 }