From c59adb676f8e1be205b22ed9c28142ab43c9763d Mon Sep 17 00:00:00 2001 From: combct-icse <51647313+Bazoka13@users.noreply.github.com> Date: Fri, 13 Jun 2025 15:27:44 +0800 Subject: [PATCH 1/5] Init --- submissions/Z3-Noodler-Mocha.json | 21 +++++++++++++++++++++ submissions/Z3-Noodler.json | 24 ++++++++++++++++++++++++ 2 files changed, 45 insertions(+) create mode 100644 submissions/Z3-Noodler-Mocha.json create mode 100644 submissions/Z3-Noodler.json diff --git a/submissions/Z3-Noodler-Mocha.json b/submissions/Z3-Noodler-Mocha.json new file mode 100644 index 00000000..6e9cf6de --- /dev/null +++ b/submissions/Z3-Noodler-Mocha.json @@ -0,0 +1,21 @@ +{ + "name": "Z3-Noodler-Mocha", + "contributors": [ + "Shaoke Cui", + "Chuan Luo" + ], + "contacts": [ + "Shaoke Cui " + ], + "archive": { + "url": "https://github.com/Bazoka13/Z3-Noodler-Mocha-at-SMT-COMP-2025/noodler-mocha.tar.gz" + }, + "website": "https://github.com/Bazoka13/Z3-Noodler-Mocha-at-SMT-COMP-2025", + "system_description": "https://github.com/Bazoka13/Z3-Noodler-Mocha-at-SMT-COMP-2025/Z3_Noodler_Mocha_at_SMT_COMP_2025.pdf", + "command": ["./noodler-mocha"], + "solver_type": "derived", + "seed": "13", + "participations": [ + { "tracks": ["SingleQuery"], "divisions": ["QF_Strings"] } + ] +} diff --git a/submissions/Z3-Noodler.json b/submissions/Z3-Noodler.json new file mode 100644 index 00000000..fe7341d5 --- /dev/null +++ b/submissions/Z3-Noodler.json @@ -0,0 +1,24 @@ +{ + "name": "Z3-Noodler", + "archive": { + "url": "https://github.com/Bazoka13/Z3-Noodler-Mocha-at-SMT-COMP-2025/base_solver.tar.gz" + }, + "contributors": [ + "Vojtěch Havlena", + "Juraj Síč", + "David Chocholatý", + "Lukáš Holík", + "Ondřej Lengál", + "Michal Hečko" + ], + "contacts": ["Lukáš Holík "], + "website": "https://github.com/VeriFIT/z3-noodler", + "system_description": "https://github.com/VeriFIT/z3-noodler/blob/devel/doc/noodler/z3-noodler-system-description-2025.pdf", + "command": [ "./z3-noodler" ], + "solver_type": "derived", + "seed": 48655, + "participations": [ + { "tracks": ["SingleQuery"], "logics": "QF_Strings" } + ], + "competitive": false +} \ No newline at end of file From ddc5739c8910b083589074ec30eb26df3b142515 Mon Sep 17 00:00:00 2001 From: combct-icse <51647313+Bazoka13@users.noreply.github.com> Date: Fri, 13 Jun 2025 15:34:10 +0800 Subject: [PATCH 2/5] update --- submissions/Z3-Noodler-Mocha.json | 4 ++-- submissions/Z3-Noodler.json | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/submissions/Z3-Noodler-Mocha.json b/submissions/Z3-Noodler-Mocha.json index 6e9cf6de..b1ab5be9 100644 --- a/submissions/Z3-Noodler-Mocha.json +++ b/submissions/Z3-Noodler-Mocha.json @@ -8,10 +8,10 @@ "Shaoke Cui " ], "archive": { - "url": "https://github.com/Bazoka13/Z3-Noodler-Mocha-at-SMT-COMP-2025/noodler-mocha.tar.gz" + "url": "https://github.com/Bazoka13/Z3-Noodler-Mocha-at-SMT-COMP-2025/blob/main/noodler-mocha.tar.gz" }, "website": "https://github.com/Bazoka13/Z3-Noodler-Mocha-at-SMT-COMP-2025", - "system_description": "https://github.com/Bazoka13/Z3-Noodler-Mocha-at-SMT-COMP-2025/Z3_Noodler_Mocha_at_SMT_COMP_2025.pdf", + "system_description": "https://github.com/Bazoka13/Z3-Noodler-Mocha-at-SMT-COMP-2025/blob/main/Z3_Noodler_Mocha_at_SMT_Comp_2025.pdf", "command": ["./noodler-mocha"], "solver_type": "derived", "seed": "13", diff --git a/submissions/Z3-Noodler.json b/submissions/Z3-Noodler.json index fe7341d5..6eed198c 100644 --- a/submissions/Z3-Noodler.json +++ b/submissions/Z3-Noodler.json @@ -1,7 +1,7 @@ { "name": "Z3-Noodler", "archive": { - "url": "https://github.com/Bazoka13/Z3-Noodler-Mocha-at-SMT-COMP-2025/base_solver.tar.gz" + "url": "https://github.com/Bazoka13/Z3-Noodler-Mocha-at-SMT-COMP-2025/blob/main/base_solver.tar.gz" }, "contributors": [ "Vojtěch Havlena", From a5d65c7520fcc117bca10b2f5b508bb2fbf5dc44 Mon Sep 17 00:00:00 2001 From: combct-icse <51647313+Bazoka13@users.noreply.github.com> Date: Fri, 13 Jun 2025 15:38:08 +0800 Subject: [PATCH 3/5] fix --- submissions/Z3-Noodler-Mocha.json | 2 +- submissions/Z3-Noodler.json | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/submissions/Z3-Noodler-Mocha.json b/submissions/Z3-Noodler-Mocha.json index b1ab5be9..2ed932ff 100644 --- a/submissions/Z3-Noodler-Mocha.json +++ b/submissions/Z3-Noodler-Mocha.json @@ -8,7 +8,7 @@ "Shaoke Cui " ], "archive": { - "url": "https://github.com/Bazoka13/Z3-Noodler-Mocha-at-SMT-COMP-2025/blob/main/noodler-mocha.tar.gz" + "url": "https://github.com/Bazoka13/Z3-Noodler-Mocha-at-SMT-COMP-2025/raw/refs/heads/main/noodler-mocha.tar.gz" }, "website": "https://github.com/Bazoka13/Z3-Noodler-Mocha-at-SMT-COMP-2025", "system_description": "https://github.com/Bazoka13/Z3-Noodler-Mocha-at-SMT-COMP-2025/blob/main/Z3_Noodler_Mocha_at_SMT_Comp_2025.pdf", diff --git a/submissions/Z3-Noodler.json b/submissions/Z3-Noodler.json index 6eed198c..0d6ab06e 100644 --- a/submissions/Z3-Noodler.json +++ b/submissions/Z3-Noodler.json @@ -1,7 +1,7 @@ { "name": "Z3-Noodler", "archive": { - "url": "https://github.com/Bazoka13/Z3-Noodler-Mocha-at-SMT-COMP-2025/blob/main/base_solver.tar.gz" + "url": "https://github.com/Bazoka13/Z3-Noodler-Mocha-at-SMT-COMP-2025/raw/refs/heads/main/base_solver.tar.gz" }, "contributors": [ "Vojtěch Havlena", From 385349bba3bc05de4789d80bbc4c5c5ccb267fd0 Mon Sep 17 00:00:00 2001 From: combct-icse <51647313+Bazoka13@users.noreply.github.com> Date: Fri, 27 Jun 2025 14:12:30 +0800 Subject: [PATCH 4/5] Update json --- submissions/Z3-Noodler-Mocha.json | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/submissions/Z3-Noodler-Mocha.json b/submissions/Z3-Noodler-Mocha.json index 2ed932ff..caf8c886 100644 --- a/submissions/Z3-Noodler-Mocha.json +++ b/submissions/Z3-Noodler-Mocha.json @@ -2,7 +2,9 @@ "name": "Z3-Noodler-Mocha", "contributors": [ "Shaoke Cui", - "Chuan Luo" + "Chuan Luo", + "Zhenwei Yang", + "Chunming Hu" ], "contacts": [ "Shaoke Cui " From 434827a17d2b781f871cdebc27ef5b075afe2745 Mon Sep 17 00:00:00 2001 From: combct-icse <51647313+Bazoka13@users.noreply.github.com> Date: Sun, 29 Jun 2025 15:05:54 +0800 Subject: [PATCH 5/5] final update --- submissions/Z3-Noodler-Mocha.json | 9 +++++---- submissions/Z3-Noodler.json | 5 +++-- 2 files changed, 8 insertions(+), 6 deletions(-) diff --git a/submissions/Z3-Noodler-Mocha.json b/submissions/Z3-Noodler-Mocha.json index caf8c886..797926fa 100644 --- a/submissions/Z3-Noodler-Mocha.json +++ b/submissions/Z3-Noodler-Mocha.json @@ -10,14 +10,15 @@ "Shaoke Cui " ], "archive": { - "url": "https://github.com/Bazoka13/Z3-Noodler-Mocha-at-SMT-COMP-2025/raw/refs/heads/main/noodler-mocha.tar.gz" + "url": "https://zenodo.org/records/15766150/files/noodler-mocha.tar.gz" }, - "website": "https://github.com/Bazoka13/Z3-Noodler-Mocha-at-SMT-COMP-2025", - "system_description": "https://github.com/Bazoka13/Z3-Noodler-Mocha-at-SMT-COMP-2025/blob/main/Z3_Noodler_Mocha_at_SMT_Comp_2025.pdf", + "website": "https://github.com/Bazoka13/Z3-Noodler-Mocha", + "system_description": "https://github.com/Bazoka13/Z3-Noodler-Mocha/blob/main/Z3_Noodler_Mocha_at_SMT_Comp_2025.pdf", "command": ["./noodler-mocha"], "solver_type": "derived", "seed": "13", "participations": [ { "tracks": ["SingleQuery"], "divisions": ["QF_Strings"] } - ] + ], + "final": true } diff --git a/submissions/Z3-Noodler.json b/submissions/Z3-Noodler.json index 0d6ab06e..d03e176e 100644 --- a/submissions/Z3-Noodler.json +++ b/submissions/Z3-Noodler.json @@ -1,7 +1,7 @@ { "name": "Z3-Noodler", "archive": { - "url": "https://github.com/Bazoka13/Z3-Noodler-Mocha-at-SMT-COMP-2025/raw/refs/heads/main/base_solver.tar.gz" + "url": "https://zenodo.org/records/15766150/files/base_solver.tar.gz" }, "contributors": [ "Vojtěch Havlena", @@ -20,5 +20,6 @@ "participations": [ { "tracks": ["SingleQuery"], "logics": "QF_Strings" } ], - "competitive": false + "competitive": false, + "final": true } \ No newline at end of file