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"] } ]