From 44cd4bc5e1e52d71a0f5858d9c262488eb4aa873 Mon Sep 17 00:00:00 2001
From: Philipp Ruemmer <ph_r@gmx.net>
Date: Thu, 30 May 2024 09:27:06 +0200
Subject: [PATCH] Update ostrich.json

---
 submissions/ostrich.json | 1 +
 1 file changed, 1 insertion(+)

diff --git a/submissions/ostrich.json b/submissions/ostrich.json
index 8e117df3..174e9a6e 100644
--- a/submissions/ostrich.json
+++ b/submissions/ostrich.json
@@ -20,6 +20,7 @@
     "system_description": "https://philipp.ruemmer.org/ostrich-2024.pdf",
     "command": ["ostrich", "-portfolio=strings +quiet"],
     "solver_type": "Standalone",
+    "seed": "753",
     "participations": [
       { "tracks": ["SingleQuery"], "divisions": ["QF_Strings"] }
     ]