From f6bc9022337e517eb5644df265f494fc881adbc6 Mon Sep 17 00:00:00 2001 From: Philipp Ruemmer Date: Fri, 13 Jun 2025 22:15:58 +0200 Subject: [PATCH 1/8] started OSTRICH submission --- submissions/ostrich.json | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) create mode 100644 submissions/ostrich.json diff --git a/submissions/ostrich.json b/submissions/ostrich.json new file mode 100644 index 00000000..9cb31b02 --- /dev/null +++ b/submissions/ostrich.json @@ -0,0 +1,25 @@ +{ + "name": "OSTRICH", + "contributors": [ + "Matthew Hague", + "Denghang Hu", + "Anthony W. Lin", + "Oliver Markgraf", + "Philipp Ruemmer", + "Zhilin Wu" + ], + "contacts": ["Philipp Ruemmer ", + "Oliver Markgraf "], + "archive": { + "url": "https://eldarica.org/ostrich-smt-comp-2025.tar.gz", + "h": { "sha256": "75e329a21e2eddde40d91eda262a9a2434a4608995ac1710ea70c2d8311fbad8" } + }, + "website": "https://github.com/uuverifiers/ostrich/", + "system_description": "", + "command": ["ostrich", "+quiet -portfolio=strings"], + "solver_type": "Standalone", + "seed": "718582", + "participations": [ + { "tracks": ["SingleQuery"], "divisions": ["QF_Strings"] } + ] +} From d5e7eee77cfc384481a8cce012c3e3df03afab5a Mon Sep 17 00:00:00 2001 From: Oliver Markgraf Date: Sat, 14 Jun 2025 09:54:36 +0200 Subject: [PATCH 2/8] add prelim system desc in ostrich.json --- submissions/ostrich.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/submissions/ostrich.json b/submissions/ostrich.json index 9cb31b02..169e44eb 100644 --- a/submissions/ostrich.json +++ b/submissions/ostrich.json @@ -15,7 +15,7 @@ "h": { "sha256": "75e329a21e2eddde40d91eda262a9a2434a4608995ac1710ea70c2d8311fbad8" } }, "website": "https://github.com/uuverifiers/ostrich/", - "system_description": "", + "system_description": "https://arg-git.informatik.uni-kl.de/pub/ostrich-system-description-25/-/blob/main/ostrich-system-description.pdf", "command": ["ostrich", "+quiet -portfolio=strings"], "solver_type": "Standalone", "seed": "718582", From ae7e46249485fb7209b533fcc152d1053e3689f9 Mon Sep 17 00:00:00 2001 From: Philipp Ruemmer Date: Sat, 14 Jun 2025 10:51:30 +0200 Subject: [PATCH 3/8] updated check sum --- submissions/ostrich.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/submissions/ostrich.json b/submissions/ostrich.json index 169e44eb..affb22b8 100644 --- a/submissions/ostrich.json +++ b/submissions/ostrich.json @@ -12,7 +12,7 @@ "Oliver Markgraf "], "archive": { "url": "https://eldarica.org/ostrich-smt-comp-2025.tar.gz", - "h": { "sha256": "75e329a21e2eddde40d91eda262a9a2434a4608995ac1710ea70c2d8311fbad8" } + "h": { "sha256": "cd83f76dd531d60fab11280970b99b412224087e6d17f6218ff5168ea55919be" } }, "website": "https://github.com/uuverifiers/ostrich/", "system_description": "https://arg-git.informatik.uni-kl.de/pub/ostrich-system-description-25/-/blob/main/ostrich-system-description.pdf", From 87e4107d9a86983107984c7a26bd1277b44067ff Mon Sep 17 00:00:00 2001 From: Philipp Ruemmer Date: Sat, 14 Jun 2025 11:01:40 +0200 Subject: [PATCH 4/8] updated paths --- submissions/ostrich.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/submissions/ostrich.json b/submissions/ostrich.json index affb22b8..5cfec1eb 100644 --- a/submissions/ostrich.json +++ b/submissions/ostrich.json @@ -12,7 +12,7 @@ "Oliver Markgraf "], "archive": { "url": "https://eldarica.org/ostrich-smt-comp-2025.tar.gz", - "h": { "sha256": "cd83f76dd531d60fab11280970b99b412224087e6d17f6218ff5168ea55919be" } + "h": { "sha256": "67b83a5aaa4cb306708f0774f0893c2d77c99d00bf92fed3d1c49246c97d5b86" } }, "website": "https://github.com/uuverifiers/ostrich/", "system_description": "https://arg-git.informatik.uni-kl.de/pub/ostrich-system-description-25/-/blob/main/ostrich-system-description.pdf", From 7b228dabb2e6526813df4a7034514a4494caa44a Mon Sep 17 00:00:00 2001 From: Philipp Ruemmer Date: Sat, 14 Jun 2025 11:10:25 +0200 Subject: [PATCH 5/8] updated options --- submissions/ostrich.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/submissions/ostrich.json b/submissions/ostrich.json index 5cfec1eb..a3b9795a 100644 --- a/submissions/ostrich.json +++ b/submissions/ostrich.json @@ -16,7 +16,7 @@ }, "website": "https://github.com/uuverifiers/ostrich/", "system_description": "https://arg-git.informatik.uni-kl.de/pub/ostrich-system-description-25/-/blob/main/ostrich-system-description.pdf", - "command": ["ostrich", "+quiet -portfolio=strings"], + "command": ["./ostrich", "+quiet", "-portfolio=strings"], "solver_type": "Standalone", "seed": "718582", "participations": [ From 480f4a739fcbd7dee8f21f9bee1a134e59b0c04a Mon Sep 17 00:00:00 2001 From: Philipp Ruemmer Date: Thu, 26 Jun 2025 09:37:03 +0200 Subject: [PATCH 6/8] new check sum --- submissions/ostrich.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/submissions/ostrich.json b/submissions/ostrich.json index a3b9795a..d450036a 100644 --- a/submissions/ostrich.json +++ b/submissions/ostrich.json @@ -12,7 +12,7 @@ "Oliver Markgraf "], "archive": { "url": "https://eldarica.org/ostrich-smt-comp-2025.tar.gz", - "h": { "sha256": "67b83a5aaa4cb306708f0774f0893c2d77c99d00bf92fed3d1c49246c97d5b86" } + "h": { "sha256": "50848e22ba2db1b1ae0aaf7c3e46868521c206e62eacc0d84dbfaf2c3ea469a6" } }, "website": "https://github.com/uuverifiers/ostrich/", "system_description": "https://arg-git.informatik.uni-kl.de/pub/ostrich-system-description-25/-/blob/main/ostrich-system-description.pdf", From 91a2d49098d5e1f68928cf1f84a900697f318181 Mon Sep 17 00:00:00 2001 From: Philipp Ruemmer Date: Thu, 26 Jun 2025 09:43:20 +0200 Subject: [PATCH 7/8] another update --- submissions/ostrich.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/submissions/ostrich.json b/submissions/ostrich.json index d450036a..f0f5b04c 100644 --- a/submissions/ostrich.json +++ b/submissions/ostrich.json @@ -12,7 +12,7 @@ "Oliver Markgraf "], "archive": { "url": "https://eldarica.org/ostrich-smt-comp-2025.tar.gz", - "h": { "sha256": "50848e22ba2db1b1ae0aaf7c3e46868521c206e62eacc0d84dbfaf2c3ea469a6" } + "h": { "sha256": "9c13dd58dec2ef76f9da2b398960e29a71e14ac79e601161cce367344d8b8744" } }, "website": "https://github.com/uuverifiers/ostrich/", "system_description": "https://arg-git.informatik.uni-kl.de/pub/ostrich-system-description-25/-/blob/main/ostrich-system-description.pdf", From d98ab48e4fee47561d4bb14a8fb4dc1d1a8e5e60 Mon Sep 17 00:00:00 2001 From: Philipp Ruemmer Date: Tue, 1 Jul 2025 13:04:21 +0200 Subject: [PATCH 8/8] replaced link with the Zenodo link --- submissions/ostrich.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/submissions/ostrich.json b/submissions/ostrich.json index f0f5b04c..553c1130 100644 --- a/submissions/ostrich.json +++ b/submissions/ostrich.json @@ -11,7 +11,7 @@ "contacts": ["Philipp Ruemmer ", "Oliver Markgraf "], "archive": { - "url": "https://eldarica.org/ostrich-smt-comp-2025.tar.gz", + "url": "https://zenodo.org/records/15737126/files/ostrich-smt-comp-2025.tar.gz", "h": { "sha256": "9c13dd58dec2ef76f9da2b398960e29a71e14ac79e601161cce367344d8b8744" } }, "website": "https://github.com/uuverifiers/ostrich/",