From 0912f40c2d4406033c08a9607f2acb6dff90819b Mon Sep 17 00:00:00 2001 From: Arraeus Epsulius Zarius <96508983+Zahrinas@users.noreply.github.com> Date: Sat, 14 Jun 2025 01:42:15 +0800 Subject: [PATCH 01/16] Create Z3-Owl.json --- submissions/Z3-Owl.json | 28 ++++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) create mode 100644 submissions/Z3-Owl.json diff --git a/submissions/Z3-Owl.json b/submissions/Z3-Owl.json new file mode 100644 index 00000000..809e4ad4 --- /dev/null +++ b/submissions/Z3-Owl.json @@ -0,0 +1,28 @@ +{ + "name": "Z3-Owl", + "contributors": [ + "Hanrui Zuo", "Peisen Yao" + ], + "contacts": ["Peisen Yao "], + "archive": { + "url": "https://zenodo.org/records/15659176/files/Z3-Owl.tar?download=1" + }, + "website": "https://rainoftime.github.io/html/owl.html", + "system_description": "https://zenodo.org/records/15659176/files/Z3_Owl_at_SMT_COMP_2025.pdf?download=1", + "command": ["Z3-Owl"], + "solver_type": "derived", + "seed": 42, + "participations": [ + { + "tracks": ["SingleQuery"], + "logics": [ + "QF_BV", + "QF_UFBV", + "QF_ABV", + "QF_AUFBV", + "QF_FP", + "QF_BVFP" + ] + } + ] +} From 1ccd73d206ba7f01aafc525b29690e8c39395f94 Mon Sep 17 00:00:00 2001 From: Arraeus Epsulius Zarius <96508983+Zahrinas@users.noreply.github.com> Date: Wed, 18 Jun 2025 20:40:21 +0800 Subject: [PATCH 02/16] Update Z3-Owl.json --- submissions/Z3-Owl.json | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/submissions/Z3-Owl.json b/submissions/Z3-Owl.json index 809e4ad4..1f12c32f 100644 --- a/submissions/Z3-Owl.json +++ b/submissions/Z3-Owl.json @@ -5,10 +5,10 @@ ], "contacts": ["Peisen Yao "], "archive": { - "url": "https://zenodo.org/records/15659176/files/Z3-Owl.tar?download=1" + "url": "https://zenodo.org/records/15690262/files/Z3-Owl.tar?download=1" }, "website": "https://rainoftime.github.io/html/owl.html", - "system_description": "https://zenodo.org/records/15659176/files/Z3_Owl_at_SMT_COMP_2025.pdf?download=1", + "system_description": "https://zenodo.org/records/15690262/files/Z3_Owl_at_SMT_COMP_2025.pdf", "command": ["Z3-Owl"], "solver_type": "derived", "seed": 42, From cf3b65b64cf561c401839ef1466cb4e2a7029a4a Mon Sep 17 00:00:00 2001 From: Arraeus Epsulius Zarius <96508983+Zahrinas@users.noreply.github.com> Date: Wed, 18 Jun 2025 20:53:22 +0800 Subject: [PATCH 03/16] Update Z3-Owl.json --- submissions/Z3-Owl.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/submissions/Z3-Owl.json b/submissions/Z3-Owl.json index 1f12c32f..7def959e 100644 --- a/submissions/Z3-Owl.json +++ b/submissions/Z3-Owl.json @@ -11,7 +11,7 @@ "system_description": "https://zenodo.org/records/15690262/files/Z3_Owl_at_SMT_COMP_2025.pdf", "command": ["Z3-Owl"], "solver_type": "derived", - "seed": 42, + "seed": 421, "participations": [ { "tracks": ["SingleQuery"], From 67c80f5a368777c268fad4dca431cb19068c7c01 Mon Sep 17 00:00:00 2001 From: Arraeus Epsulius Zarius <96508983+Zahrinas@users.noreply.github.com> Date: Wed, 18 Jun 2025 21:49:46 +0800 Subject: [PATCH 04/16] Update Z3-Owl.json --- submissions/Z3-Owl.json | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/submissions/Z3-Owl.json b/submissions/Z3-Owl.json index 7def959e..8def45a8 100644 --- a/submissions/Z3-Owl.json +++ b/submissions/Z3-Owl.json @@ -5,11 +5,11 @@ ], "contacts": ["Peisen Yao "], "archive": { - "url": "https://zenodo.org/records/15690262/files/Z3-Owl.tar?download=1" + "url": "https://zenodo.org/records/15690718/files/Z3-Owl.tar?download=1" }, "website": "https://rainoftime.github.io/html/owl.html", - "system_description": "https://zenodo.org/records/15690262/files/Z3_Owl_at_SMT_COMP_2025.pdf", - "command": ["Z3-Owl"], + "system_description": "https://zenodo.org/records/15690718/files/Z3_Owl_at_SMT_COMP_2025.pdf", + "command": ["Z3-Owl/Z3-Owl"], "solver_type": "derived", "seed": 421, "participations": [ From cad28db845ed250a1c1cb4b538c59b2ce9775466 Mon Sep 17 00:00:00 2001 From: Arraeus Epsulius Zarius <96508983+Zahrinas@users.noreply.github.com> Date: Wed, 18 Jun 2025 21:55:04 +0800 Subject: [PATCH 05/16] Update Z3-Owl.json --- submissions/Z3-Owl.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/submissions/Z3-Owl.json b/submissions/Z3-Owl.json index 8def45a8..b4dcdc39 100644 --- a/submissions/Z3-Owl.json +++ b/submissions/Z3-Owl.json @@ -9,7 +9,7 @@ }, "website": "https://rainoftime.github.io/html/owl.html", "system_description": "https://zenodo.org/records/15690718/files/Z3_Owl_at_SMT_COMP_2025.pdf", - "command": ["Z3-Owl/Z3-Owl"], + "command": ["Z3-Owl"], "solver_type": "derived", "seed": 421, "participations": [ From 3485af5f03b264054005b60c5cfab984a2e8d108 Mon Sep 17 00:00:00 2001 From: Arraeus Epsulius Zarius <96508983+Zahrinas@users.noreply.github.com> Date: Wed, 18 Jun 2025 22:14:10 +0800 Subject: [PATCH 06/16] Update Z3-Owl.json --- submissions/Z3-Owl.json | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/submissions/Z3-Owl.json b/submissions/Z3-Owl.json index b4dcdc39..8bd4182f 100644 --- a/submissions/Z3-Owl.json +++ b/submissions/Z3-Owl.json @@ -5,10 +5,10 @@ ], "contacts": ["Peisen Yao "], "archive": { - "url": "https://zenodo.org/records/15690718/files/Z3-Owl.tar?download=1" + "url": "https://zenodo.org/records/15690978/files/Z3-Owl.tar?download=1" }, "website": "https://rainoftime.github.io/html/owl.html", - "system_description": "https://zenodo.org/records/15690718/files/Z3_Owl_at_SMT_COMP_2025.pdf", + "system_description": "https://zenodo.org/records/15690978/files/Z3_Owl_at_SMT_COMP_2025.pdf", "command": ["Z3-Owl"], "solver_type": "derived", "seed": 421, From 2d44bf7db0e17e696e82255cd5aac6dd6765ce8c Mon Sep 17 00:00:00 2001 From: Arraeus Epsulius Zarius <96508983+Zahrinas@users.noreply.github.com> Date: Wed, 18 Jun 2025 22:47:30 +0800 Subject: [PATCH 07/16] Update Z3-Owl.json --- submissions/Z3-Owl.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/submissions/Z3-Owl.json b/submissions/Z3-Owl.json index 8bd4182f..8ad14d83 100644 --- a/submissions/Z3-Owl.json +++ b/submissions/Z3-Owl.json @@ -9,7 +9,7 @@ }, "website": "https://rainoftime.github.io/html/owl.html", "system_description": "https://zenodo.org/records/15690978/files/Z3_Owl_at_SMT_COMP_2025.pdf", - "command": ["Z3-Owl"], + "command": ["Z3-Owl/Z3-Owl"], "solver_type": "derived", "seed": 421, "participations": [ From 49fc4686ab7fd3815c5b158d8a13d2c64355dcba Mon Sep 17 00:00:00 2001 From: Arraeus Epsulius Zarius <96508983+Zahrinas@users.noreply.github.com> Date: Wed, 2 Jul 2025 22:09:35 +0800 Subject: [PATCH 08/16] Update Z3-Owl.json --- submissions/Z3-Owl.json | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/submissions/Z3-Owl.json b/submissions/Z3-Owl.json index 8ad14d83..cd2f0f63 100644 --- a/submissions/Z3-Owl.json +++ b/submissions/Z3-Owl.json @@ -1,14 +1,14 @@ -{ +.{ "name": "Z3-Owl", "contributors": [ "Hanrui Zuo", "Peisen Yao" ], "contacts": ["Peisen Yao "], "archive": { - "url": "https://zenodo.org/records/15690978/files/Z3-Owl.tar?download=1" + "url": "https://zenodo.org/records/15791825/files/Z3-Owl.tar?download=1" }, "website": "https://rainoftime.github.io/html/owl.html", - "system_description": "https://zenodo.org/records/15690978/files/Z3_Owl_at_SMT_COMP_2025.pdf", + "system_description": "https://zenodo.org/records/15791825/files/Z3_Owl_at_SMT_COMP_2025.pdf", "command": ["Z3-Owl/Z3-Owl"], "solver_type": "derived", "seed": 421, From dd0c0552983588be010ff38ed2208251fa1dee30 Mon Sep 17 00:00:00 2001 From: Arraeus Epsulius Zarius <96508983+Zahrinas@users.noreply.github.com> Date: Wed, 2 Jul 2025 22:11:12 +0800 Subject: [PATCH 09/16] Update Z3-Owl.json --- submissions/Z3-Owl.json | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/submissions/Z3-Owl.json b/submissions/Z3-Owl.json index cd2f0f63..72417e20 100644 --- a/submissions/Z3-Owl.json +++ b/submissions/Z3-Owl.json @@ -1,4 +1,4 @@ -.{ +‘.{ "name": "Z3-Owl", "contributors": [ "Hanrui Zuo", "Peisen Yao" @@ -9,7 +9,7 @@ }, "website": "https://rainoftime.github.io/html/owl.html", "system_description": "https://zenodo.org/records/15791825/files/Z3_Owl_at_SMT_COMP_2025.pdf", - "command": ["Z3-Owl/Z3-Owl"], + "command": ["Z3-Owl"], "solver_type": "derived", "seed": 421, "participations": [ From e5aaa0da8271faaf3e794dd81534c2d2edf89079 Mon Sep 17 00:00:00 2001 From: Arraeus Epsulius Zarius <96508983+Zahrinas@users.noreply.github.com> Date: Wed, 2 Jul 2025 22:11:26 +0800 Subject: [PATCH 10/16] Update Z3-Owl.json --- submissions/Z3-Owl.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/submissions/Z3-Owl.json b/submissions/Z3-Owl.json index 72417e20..d86d69a4 100644 --- a/submissions/Z3-Owl.json +++ b/submissions/Z3-Owl.json @@ -1,4 +1,4 @@ -‘.{ +{ "name": "Z3-Owl", "contributors": [ "Hanrui Zuo", "Peisen Yao" From 7be579b100db6fc4e79794eaf2b107a2e6b49029 Mon Sep 17 00:00:00 2001 From: Arraeus Epsulius Zarius <96508983+Zahrinas@users.noreply.github.com> Date: Wed, 2 Jul 2025 22:27:42 +0800 Subject: [PATCH 11/16] Create Z3-base --- submissions/Z3-base | 28 ++++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) create mode 100644 submissions/Z3-base diff --git a/submissions/Z3-base b/submissions/Z3-base new file mode 100644 index 00000000..6548e583 --- /dev/null +++ b/submissions/Z3-base @@ -0,0 +1,28 @@ +{ + "name": "Z3-4.15.2.0", + "contributors": [ + "Nikolaj Bjørner et al." + ], + "contacts": ["Nikolaj Bjørner "], + "archive": { + "url": "https://zenodo.org/records/15791980/files/Z3.tar?download=1" + }, + "website": "https://github.com/Z3Prover/z3", + "system_description": "https://link.springer.com/content/pdf/10.1007/978-3-540-78800-3_24.pdf", + "solver_type": "Standalone", + "command": ["./z3"], + "seed": "23", + "participations": [ + { + "tracks": ["SingleQuery"], + "logics": [ + "QF_BV", + "QF_UFBV", + "QF_ABV", + "QF_AUFBV", + "QF_FP", + "QF_BVFP" + ] + } + ] +} From baf5795e67d54da495192cd6ee6fcd76a09ab04b Mon Sep 17 00:00:00 2001 From: Arraeus Epsulius Zarius <96508983+Zahrinas@users.noreply.github.com> Date: Wed, 2 Jul 2025 22:28:08 +0800 Subject: [PATCH 12/16] Update Z3-Owl.json --- submissions/Z3-Owl.json | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/submissions/Z3-Owl.json b/submissions/Z3-Owl.json index d86d69a4..743e929b 100644 --- a/submissions/Z3-Owl.json +++ b/submissions/Z3-Owl.json @@ -5,11 +5,11 @@ ], "contacts": ["Peisen Yao "], "archive": { - "url": "https://zenodo.org/records/15791825/files/Z3-Owl.tar?download=1" + "url": "https://zenodo.org/records/15791980/files/Z3-Owl.tar?download=1" }, "website": "https://rainoftime.github.io/html/owl.html", - "system_description": "https://zenodo.org/records/15791825/files/Z3_Owl_at_SMT_COMP_2025.pdf", - "command": ["Z3-Owl"], + "system_description": "https://zenodo.org/records/15791980/files/Z3_Owl_at_SMT_COMP_2025.pdf", + "command": ["./Z3-Owl"], "solver_type": "derived", "seed": 421, "participations": [ From b6a49dff87369a43c685d7913560c74f5ab85f80 Mon Sep 17 00:00:00 2001 From: Arraeus Epsulius Zarius <96508983+Zahrinas@users.noreply.github.com> Date: Wed, 2 Jul 2025 22:28:24 +0800 Subject: [PATCH 13/16] Rename Z3-base to Z3-base.json --- submissions/{Z3-base => Z3-base.json} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename submissions/{Z3-base => Z3-base.json} (100%) diff --git a/submissions/Z3-base b/submissions/Z3-base.json similarity index 100% rename from submissions/Z3-base rename to submissions/Z3-base.json From 40ec8188b6b88701482bad84de65320366ef2ced Mon Sep 17 00:00:00 2001 From: Arraeus Epsulius Zarius <96508983+Zahrinas@users.noreply.github.com> Date: Wed, 2 Jul 2025 22:35:23 +0800 Subject: [PATCH 14/16] Update Z3-Owl.json --- submissions/Z3-Owl.json | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/submissions/Z3-Owl.json b/submissions/Z3-Owl.json index 743e929b..463d5330 100644 --- a/submissions/Z3-Owl.json +++ b/submissions/Z3-Owl.json @@ -5,10 +5,10 @@ ], "contacts": ["Peisen Yao "], "archive": { - "url": "https://zenodo.org/records/15791980/files/Z3-Owl.tar?download=1" + "url": "https://zenodo.org/records/15792049/files/Z3-Owl.tar?download=1" }, "website": "https://rainoftime.github.io/html/owl.html", - "system_description": "https://zenodo.org/records/15791980/files/Z3_Owl_at_SMT_COMP_2025.pdf", + "system_description": "https://zenodo.org/records/15792049/files/Z3_Owl_at_SMT_COMP_2025.pdf", "command": ["./Z3-Owl"], "solver_type": "derived", "seed": 421, From cc5091b796687a1afb5f27bd6a82b24e056b32b8 Mon Sep 17 00:00:00 2001 From: Arraeus Epsulius Zarius <96508983+Zahrinas@users.noreply.github.com> Date: Wed, 2 Jul 2025 22:35:45 +0800 Subject: [PATCH 15/16] Update Z3-base.json --- submissions/Z3-base.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/submissions/Z3-base.json b/submissions/Z3-base.json index 6548e583..7be91176 100644 --- a/submissions/Z3-base.json +++ b/submissions/Z3-base.json @@ -5,7 +5,7 @@ ], "contacts": ["Nikolaj Bjørner "], "archive": { - "url": "https://zenodo.org/records/15791980/files/Z3.tar?download=1" + "url": "https://zenodo.org/records/15792049/files/Z3.tar?download=1" }, "website": "https://github.com/Z3Prover/z3", "system_description": "https://link.springer.com/content/pdf/10.1007/978-3-540-78800-3_24.pdf", From 589f0f5f86cd49ee0cadda85a9d19beb4ce01996 Mon Sep 17 00:00:00 2001 From: Arraeus Epsulius Zarius <96508983+Zahrinas@users.noreply.github.com> Date: Wed, 2 Jul 2025 22:45:38 +0800 Subject: [PATCH 16/16] Update Z3-base.json --- submissions/Z3-base.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/submissions/Z3-base.json b/submissions/Z3-base.json index 7be91176..5ac9c8e9 100644 --- a/submissions/Z3-base.json +++ b/submissions/Z3-base.json @@ -11,7 +11,7 @@ "system_description": "https://link.springer.com/content/pdf/10.1007/978-3-540-78800-3_24.pdf", "solver_type": "Standalone", "command": ["./z3"], - "seed": "23", + "seed": "421", "participations": [ { "tracks": ["SingleQuery"],