fm-weck 1.5.3__py3-none-any.whl → 1.6.0__py3-none-any.whl

fm_weck/resources/fm_tools/esbmc-kind.yml

@@ -1,15 +1,22 @@
 id: esbmc-kind
 name: ESBMC-kind
+description: |
+  ESBMC (the Efficient SMT-based Context-Bounded Model Checker) is a mature,
+  permissively licensed open-source context-bounded model checker that automatically
+  detects or proves the absence of runtime errors in single- and multi-threaded C, C++,
+  CUDA, CHERI, Kotlin, Python, and Solidity programs. It can automatically verify
+  predefined safety properties (e.g., bounds check, pointer safety, overflow) and
+  user-defined program assertions.
 input_languages:
   - C
 project_url: http://esbmc.org/
 repository_url: "https://github.com/esbmc/esbmc"
 spdx_license_identifier: 'Apache-2.0'
-benchexec_toolinfo_module: "https://gitlab.com/sosy-lab/software/benchexec/-/raw/main/benchexec/tools/esbmc.py"
+benchexec_toolinfo_module: benchexec.tools.esbmc
 fmtools_format_version: "2.0"
 fmtools_entry_maintainers:
+  - lucasccordeiro
   - rafaelsamenezes
-  - fbrausse
 
 maintainers:
   - orcid: 0000-0002-6102-4343
@@ -19,6 +26,12 @@ maintainers:
     url:
 
 versions:
+  - version: "svcomp26"
+    doi: 10.5281/zenodo.17741226
+    benchexec_toolinfo_options: ['-s', 'kinduction']
+    required_ubuntu_packages: []
+    base_container_images:
+      - docker.io/ubuntu:24.04
   - version: "svcomp25"
     doi: 10.5281/zenodo.14185854
     benchexec_toolinfo_options: ["-s", "kinduction"]
@@ -31,6 +44,15 @@ versions:
     url: "https://gitlab.com/sosy-lab/sv-comp/archives-2023/-/raw/svcomp23/2023/esbmc-kind.zip"
     benchexec_toolinfo_options: ["-s", "kinduction"]
     required_ubuntu_packages: []
+  - version: "testcomp26"
+    doi: 10.5281/zenodo.17793335
+    benchexec_toolinfo_options: ["-s", "kinduction", "-o", "branch-function"]
+    required_ubuntu_packages: []
+    base_container_images:
+      - docker.io/ubuntu:24.04
+    full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/10.5281/zenodo.18001984
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2026
   - version: "testcomp25"
     doi: 10.5281/zenodo.14340851
     benchexec_toolinfo_options: ["-s", "kinduction", "-o", "branch"]
@@ -41,6 +63,41 @@ versions:
     required_ubuntu_packages: []
 
 competition_participations:
+  - competition: "SV-COMP 2026"
+    track: "Verification"
+    tool_version: "svcomp26"
+    jury_member:
+      name: Xianzhiyu Li
+      institution: University of Manchester
+      country: UK
+      url:
+    participants:
+      - orcid: 0009-0003-7712-380X
+        name: Xianzhiyu Li
+      - orcid: 0000-0002-6102-4343
+        name: Rafael Sá Menezes
+      - orcid: 0000-0002-6235-4272
+        name: Lucas C. Cordeiro
+  - competition: "Test-Comp 2026"
+    track: "Test Generation"
+    tool_version: "testcomp26"
+    jury_member:
+      orcid: 0009-0008-0416-3006
+      name: Chenfeng Wei
+      institution: University of Manchester
+      country: UK
+      url:
+    participants:
+      - orcid: 0009-0008-0416-3006
+        name: Chenfeng Wei
+      - orcid: 0009-0003-7712-380X
+        name: Xianzhiyu Li
+      - orcid: 0000-0002-5822-5435
+        name: Kaled Alshmrany
+      - orcid: 0000-0002-6169-6334
+        name: Sangharatna Godboley
+      - orcid: 0000-0002-6235-4272
+        name: Lucas C. Cordeiro
   - competition: "SV-COMP 2025"
     track: "Verification"
     tool_version: "svcomp25"

fm_weck/resources/fm_tools/fdse.yml

@@ -1,5 +1,8 @@
 id: fdse
 name: FDSE
+description: |
+  FDSE is an hybrid testing tool that combines fuzzing, symbolic execution, 
+  and a persistent constraint tree to generate high-coverage test suites for C programs.
 input_languages:
   - C
 project_url: https://github.com/zbchen/fdse-test-comp
@@ -18,6 +21,16 @@ maintainers:
     url: https://zbchen.github.io/
 
 versions:
+  - version: "testcomp26"
+    doi: 10.5281/zenodo.17900875
+    benchexec_toolinfo_options: ["--testcomp"]
+    required_ubuntu_packages:
+      - gcc-multilib
+    base_container_images:
+      - docker.io/ubuntu:24.04
+    full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/10.5281/zenodo.18001984
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2026
   - version: "testcomp25"
     doi: 10.5281/zenodo.14282305
     benchexec_toolinfo_options: ["--testcomp"]
@@ -28,6 +41,24 @@ versions:
     required_ubuntu_packages: []
 
 competition_participations:
+  - competition: "Test-Comp 2026"
+    track: "Test Generation"
+    tool_version: "testcomp26"
+    jury_member:
+      orcid: 0000-0002-4066-7892
+      name: Zhenbang Chen
+      institution: National University of Defense Technology
+      country: China
+      url: https://zbchen.github.io/
+    participants:
+      - orcid: 0009-0006-2359-9687
+        name: Guofeng Zhang
+      - orcid: 0000-0002-4066-7892
+        name: Zhenbang Chen
+      - orcid: 0009-0003-0575-5074
+        name: Ziqi Shuai
+      - orcid: 0000-0003-0637-8744
+        name: Ji Wang
   - competition: "Test-Comp 2025"
     track: "Test Generation"
     tool_version: "testcomp25"

fm_weck/resources/fm_tools/fizzer.yml

@@ -1,8 +1,8 @@
 id: fizzer
 name: Fizzer
 description: |
-  Fizzer is a gray-box fuzzer focussing on coverage of atomic Boolean
-  expressions (mainly the instructions for number comparison). It uses dynamic
+  Fizzer is a gray-box fuzzer focussing of coverage of atomic Boolean
+  expressions (mainly number comparison instructions). It uses dynamic
   taint-flow analysis and local space fuzzing (gradient descent, bit
   and random mutations performed in local spaces).
 input_languages:
@@ -11,7 +11,7 @@ project_url: https://github.com/staticafi/fizzer
 repository_url: https://github.com/staticafi/fizzer
 spdx_license_identifier: Zlib
 benchexec_toolinfo_module: "fizzer.py"
-fmtools_format_version: "0.1"
+fmtools_format_version: "2.0"
 fmtools_entry_maintainers:
   - trtikm
 
@@ -23,6 +23,19 @@ maintainers:
     url:
 
 versions:
+  - version: "testcomp26"
+    doi: 10.5281/zenodo.17840184
+    benchexec_toolinfo_options: ["--max_seconds", "865", "--max_executions", "100000000", "--max_exec_milliseconds", "250", "--max_exec_megabytes", "13312", "--max_trace_length", "10000", "--max_bytes", "65536", "--opt_max_seconds", "30", "--opt_max_exec_milliseconds", "500", "--opt_max_exec_megabytes", "13312", "--opt_max_trace_length", "10000000", "--opt_max_bytes", "536870912"]
+    required_ubuntu_packages:
+      - clang
+      - llvm
+      - python3
+      - g++-multilib
+    base_container_images:
+      - docker.io/ubuntu:24.04
+    full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/10.5281/zenodo.18001984
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2026
   - version: "testcomp25"
     doi: 10.5281/zenodo.14246517
     benchexec_toolinfo_options: ["--max_seconds", "865", "--optimizer_max_seconds", "30", "--max_exec_milliseconds", "500", "--max_exec_megabytes", "13312", "--max_stdin_bytes", "65536", "--max_trace_length", "10000", "--max_stack_size", "25", "--stdin_model", "stdin_replay_bytes_then_repeat_zero", "--test_type", "testcomp"]
@@ -34,6 +47,22 @@ versions:
     required_ubuntu_packages: []
 
 competition_participations:
+  - competition: "Test-Comp 2026"
+    track: "Test Generation"
+    tool_version: "testcomp26"
+    jury_member:
+      orcid: 0009-0009-6122-9574
+      name: Marek Trtík
+      institution: Masaryk University, Brno
+      country: Czechia
+      url:
+    participants:
+      - orcid: 0000-0003-4703-0795
+        name: Martin Jonáš
+      - orcid: 0000-0001-5873-403X
+        name: Jan Strejček
+      - orcid: 0009-0009-6122-9574
+        name: Marek Trtík
   - competition: "Test-Comp 2025"
     track: "Test Generation"
     tool_version: "testcomp25"

fm_weck/resources/fm_tools/frama-c-sv.yml

@@ -12,7 +12,8 @@ fmtools_entry_maintainers:
   - masp
 
 maintainers:
-  - name: Martin Spiessl
+  - orcid: 0000-0002-9169-9130
+    name: Martin Spiessl
     institution: LMU Munich
     country: Germany
     url: https://www.sosy-lab.org/people/spiessl/
@@ -21,6 +22,8 @@ versions:
   - version: "svcomp24"
     doi: 10.5281/zenodo.10125011
     benchexec_toolinfo_options: ["--reach-as-overflow", "--allow-unsafe"]
+    base_container_images:
+      - docker.io/ubuntu:22.04
     required_ubuntu_packages:
       - python3-pycparser
       - python3-pandas
@@ -34,6 +37,16 @@ versions:
       - python3-pandas
 
 competition_participations:
+  - competition: "SV-COMP 2026"
+    track: "Verification"
+    label:
+      - inactive
+    tool_version: "svcomp24"
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url:
   - competition: "SV-COMP 2025"
     track: "Verification"
     label:
@@ -48,6 +61,7 @@ competition_participations:
     track: "Verification"
     tool_version: "svcomp24"
     jury_member:
+      orcid: 0000-0002-9169-9130
       name: Martin Spiessl
       institution: LMU Munich
       country: Germany
@@ -56,6 +70,7 @@ competition_participations:
     track: "Verification"
     tool_version: "svcomp23"
     jury_member:
+      orcid: 0000-0002-9169-9130
       name: Martin Spiessl
       institution: LMU Munich
       country: Germany
@@ -64,4 +79,8 @@ competition_participations:
 techniques:
   - Numeric Interval Analysis
 
-frameworks_solvers: []
+frameworks_solvers:
+  - Frama-C
+
+literature: []
+

fm_weck/resources/fm_tools/fshell-witness2test.yml

@@ -27,8 +27,18 @@ versions:
       - make
 
 competition_participations:
+  - competition: "SV-COMP 2026"
+    track: "Validation of Violation Witnesses v1"
+    label:
+      - inactive
+    tool_version: "svcomp23"
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url:
   - competition: "SV-COMP 2025"
-    track: "Validation of Violation Witnesses 1.0"
+    track: "Validation of Violation Witnesses v1"
     label:
       - inactive
     tool_version: "svcomp23"
@@ -38,7 +48,7 @@ competition_participations:
       country: --
       url:
   - competition: "SV-COMP 2024"
-    track: "Validation of Violation Witnesses 1.0"
+    track: "Validation of Violation Witnesses v1"
     label:
       - inactive
     tool_version: "svcomp23"
@@ -48,7 +58,7 @@ competition_participations:
       country: --
       url:
   - competition: SV-COMP 2023
-    track: "Validation of Violation Witnesses 1.0"
+    track: "Validation of Violation Witnesses v1"
     tool_version: "svcomp23"
     jury_member:
       orcid: 0000-0002-7947-983X

fm_weck/resources/fm_tools/function-res.yml

@@ -0,0 +1,64 @@
+id: function-res
+name: ReFuncTion
+description: |
+  ReFuncTion is a research prototype static analyzer designed for proving conditional termination, conditional termination resilience and conditional CTL properties of C programs.
+  It is also capable of inferring minimal sets of variables with an associate sufficient precondition to ensure a CTL property and maximal sets of variables for which a valuation might falsify it.
+  The tool automatically infers piecewise-defined ranking functions and sufficient preconditions by means of abstract interpretation.
+input_languages:
+  - C
+project_url: https://caterinaurban.github.io/project/function/
+repository_url: https://github.com/naim-mr/refunction
+spdx_license_identifier: CC-BY-4.0
+benchexec_toolinfo_module: benchexec.tools.function-res
+fmtools_format_version: "2.0"
+fmtools_entry_maintainers:
+  - naim-mr
+maintainers:
+  - orcid: 0009-0000-4188-7064
+    name: Naïm MOUSSAOUI REMIL
+    institution: Inria Paris and École Normale Supérieure
+    country: France
+    url:
+
+versions:
+  - version: "svcomp26"
+    doi: 10.5281/zenodo.17525389
+    benchexec_toolinfo_options: []
+    required_ubuntu_packages:
+      - llvm
+      - llvm-dev
+      - clang
+      - libc6-dev-i386
+      - libclang-cpp-dev
+      - libclang-dev
+      - libgmp-dev
+      - libmpfr-dev
+      - libclang-rt-18-dev
+
+
+competition_participations:
+  - competition: "SV-COMP 2026"
+    track: "Verification"
+    tool_version: "svcomp26"
+    jury_member:
+      orcid: 0009-0000-4188-7064
+      name: Naïm MOUSSAOUI REMIL
+      institution: Inria Paris and École Normale Supérieure
+      country: France
+      url:
+    participants:
+      - orcid: 0009-0000-4188-7064
+        name: Naïm MOUSSAOUI REMIL
+      - orcid: 0000-0002-8127-9642
+        name: Caterina URBAN
+
+techniques:
+  - Numeric Interval Analysis
+
+frameworks_solvers:
+  - Apron
+
+literature:
+  - doi: 10.29007/dnpx
+    title: "Automatic Detection of Vulnerable Variables for CTL Properties of Program"
+    year: 2024

fm_weck/resources/fm_tools/fusebmc-ia.yml

@@ -2,24 +2,26 @@ id: fusebmc-ia
 name: FuSeBMC-AI
 input_languages:
   - C
-project_url: https://github.com/Mohannad-Aldughaim/FuSeBMC_IA
-repository_url: https://github.com/Mohannad-Aldughaim/FuSeBMC_IA
+project_url: https://github.com/FuSeBMC/
+repository_url: https://github.com/FuSeBMC/
 spdx_license_identifier: MIT
-benchexec_toolinfo_module: "https://gitlab.com/sosy-lab/software/benchexec/-/raw/main/benchexec/tools/fusebmc.py"
+benchexec_toolinfo_module: benchexec.tools.fusebmc
 fmtools_format_version: "2.0"
 fmtools_entry_maintainers:
   - Mohannad-Aldughaim
   - kaled-alshmrany
 
 maintainers:
-  - name: Mohannad Aldughaim
+  - orcid: 0000-0003-1708-1399
+    name: Mohannad Aldughaim
     institution: University of Manchester / King Saud University
     country: UK / Saudi Arabia
     url: https://www.research.manchester.ac.uk/portal/mohannad.aldughaim.html
-  - name: Kaled Alshmrany
+  - orcid: 0000-0002-5822-5435
+    name: Kaled Alshmrany
     institution: University of Manchester / Institute of Public Administration
     country: UK / Saudi Arabia
-    url: https://research.manchester.ac.uk/en/persons/kaled.alshmrany
+    url: https://www.linkedin.com/in/dr-kaled-alshmrany/
 
 versions:
   - version: "testcomp24"
@@ -34,6 +36,16 @@ versions:
     required_ubuntu_packages: []
 
 competition_participations:
+  - competition: "Test-Comp 2026"
+    track: "Test Generation"
+    label:
+      - inactive
+    tool_version: "testcomp24"
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url:
   - competition: "Test-Comp 2025"
     track: "Test Generation"
     label:
@@ -69,3 +81,5 @@ techniques:
   - Portfolio
 
 frameworks_solvers: []
+
+literature: []

fm_weck/resources/fm_tools/fusebmc.yml

@@ -7,10 +7,10 @@ description: |
   FuSeBMC improves code quality while reducing false positives and operational disruptions.
 input_languages:
   - C
-project_url: https://veribee.co/
+project_url: https://github.com/FuSeBMC
 repository_url: https://github.com/FuSeBMC/
 spdx_license_identifier: "MIT"
-benchexec_toolinfo_module: "https://gitlab.com/sosy-lab/software/benchexec/-/raw/main/benchexec/tools/fusebmc.py"
+benchexec_toolinfo_module: benchexec.tools.fusebmc
 fmtools_format_version: "2.0"
 fmtools_entry_maintainers:
   - kaled-alshmrany
@@ -18,11 +18,20 @@ fmtools_entry_maintainers:
 maintainers:
   - orcid: 0000-0002-5822-5435
     name: Kaled Alshmrany
-    institution: University of Manchester / Institute of Public Administration
-    country: UK / Saudi Arabia
+    institution: Institute of Public Administration
+    country: Saudi Arabia
     url: https://www.linkedin.com/in/dr-kaled-alshmrany/
 
 versions:
+  - version: "testcomp26"
+    doi: "10.5281/zenodo.18051027"
+    benchexec_toolinfo_options: ["-s", "incr"]
+    required_ubuntu_packages: []
+    base_container_images:
+      - docker.io/ubuntu:24.04
+    full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/10.5281/zenodo.18001984
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2026
   - version: "testcomp25"
     doi: "10.5281/zenodo.13983351"
     benchexec_toolinfo_options: ["-s", "incr"]
@@ -37,6 +46,18 @@ versions:
     required_ubuntu_packages: []
 
 competition_participations:
+  - competition: "Test-Comp 2026"
+    track: "Test Generation"
+    tool_version: "testcomp26"
+    jury_member:
+      orcid: 0000-0002-5822-5435
+      name: Kaled Alshmrany
+      institution: Institute of Public Administration
+      country: Saudi Arabia
+      url: https://www.linkedin.com/in/dr-kaled-alshmrany/
+    participants:
+      - orcid: 0000-0002-5822-5435
+        name: Kaled Alshmrany
   - competition: "Test-Comp 2025"
     track: "Test Generation"
     tool_version: "testcomp25"

fm_weck/resources/fm_tools/gazer-theta.yml

@@ -11,7 +11,8 @@ fmtools_entry_maintainers:
   - AdamZsofi
 
 maintainers:
-  - name: Zsófia Ádám
+  - orcid: 0000-0000-0000-0000
+    name: Zsófia Ádám
     institution: Budapest University of Technology and Economics
     country: Hungary
     url:
@@ -20,6 +21,8 @@ versions:
   - version: "svcomp23"
     doi: 10.5281/zenodo.10396776
     benchexec_toolinfo_options: []
+    base_container_images:
+      - docker.io/ubuntu:22.04
     required_ubuntu_packages:
       - libtinfo5
       - python3
@@ -29,6 +32,16 @@ versions:
       - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2024
 
 competition_participations:
+  - competition: "SV-COMP 2026"
+    track: "Verification"
+    label:
+      - inactive
+    tool_version: "svcomp23"
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url:
   - competition: "SV-COMP 2025"
     track: "Verification"
     label:
@@ -71,9 +84,9 @@ techniques:
   - Interpolation
   - Portfolio
 
+frameworks_solvers: []
+
 literature:
   - doi: 10.1007/978-3-030-72013-1_27
     title: "Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution)"
     year: 2021
-
-frameworks_solvers: []

fm_weck/resources/fm_tools/gdart-llvm.yml

@@ -13,7 +13,8 @@ fmtools_entry_maintainers:
   - simon.dierl
 
 maintainers:
-  - name: Falk Howar
+  - orcid: 0000-0000-0000-0000
+    name: Falk Howar
     institution: TU Dortmund
     country: Germany
     url: https://falkhowar.de
@@ -22,11 +23,23 @@ versions:
   - version: "svcomp23"
     doi: 10.5281/zenodo.10397137
     benchexec_toolinfo_options: []
+    base_container_images:
+      - docker.io/ubuntu:22.04
     required_ubuntu_packages: []
     full_container_images:
       - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2023
 
 competition_participations:
+  - competition: "SV-COMP 2026"
+    track: "Verification"
+    label:
+      - inactive
+    tool_version: "svcomp23"
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url:
   - competition: "SV-COMP 2025"
     track: "Verification"
     label:
@@ -62,3 +75,5 @@ techniques:
 
 frameworks_solvers:
   - Z3
+
+literature: []

fm_weck/resources/fm_tools/gdart.yml

@@ -1,11 +1,26 @@
 id: gdart
 name: GDart
+description: |
+  GDart implements dynamic symbolic execution
+  by obtaining traces from concolic runs in the SPouT component
+  and joining them into a symbolic constraint tree in the DSE
+  component. In the backend of the DSE component, we use SMT
+  solvers to identify candidate values for seeding concrete runs.
+  This seeding allows to explore different branches following
+  the ideas presented in the context of the `DART: directed automated random testing`
+  paper by Godefroid et al. presented in 2005 (https://doi.org/10.1145/1064978.1065036).
+  Today, GDart is implemented as an ensemble of different tools.
+  The core of SPouT extends the Espresso VM part of the GraalVM project
+  and is licensed under GPL-2.0. The GraalVM itself is licensed under LGPL-2.0.
+  The DSE and verifier_stub components are licensed under Apache-2.0.
+  There are more components involved, however, we leave the clarificaiton of further
+  licensing explanations to the LICENSE file in the gdart-tool folder.
 input_languages:
   - Java
 project_url: https://github.com/tudo-aqua/gdart-svcomp
 repository_url: https://github.com/tudo-aqua/gdart-svcomp
-spdx_license_identifier: Apache-2.0 AND LGPL-2.0-only
-benchexec_toolinfo_module: "https://gitlab.com/sosy-lab/software/benchexec/-/raw/main/benchexec/tools/gdart.py"
+spdx_license_identifier: LicenseRef-GDART
+benchexec_toolinfo_module: benchexec.tools.gdart
 fmtools_format_version: "2.0"
 fmtools_entry_maintainers:
   - fhowar
@@ -24,6 +39,24 @@ maintainers:
     orcid: 0000-0002-6291-9886
 
 versions:
+  - version: "svcomp26"
+    doi: "10.5281/zenodo.17691525"
+    benchexec_toolinfo_options: []
+    required_ubuntu_packages: []
+    base_container_images:
+      - docker.io/ubuntu:24.04
+  - version: "svcomp26-qualification-fix-license"
+    doi: "10.5281/zenodo.17610235"
+    benchexec_toolinfo_options: []
+    required_ubuntu_packages: []
+    base_container_images:
+      - docker.io/ubuntu:24.04
+  - version: "svcomp26-qualification"
+    doi: "10.5281/zenodo.17397757"
+    benchexec_toolinfo_options: []
+    required_ubuntu_packages: []
+    base_container_images:
+      - docker.io/ubuntu:24.04
   - version: "svcomp25"
     doi: "10.5281/zenodo.14207413"
     benchexec_toolinfo_options: []
@@ -41,6 +74,20 @@ versions:
       - openjdk-11-jre-headless
 
 competition_participations:
+  - competition: "SV-COMP 2026"
+    track: "Verification"
+    tool_version: "svcomp26"
+    jury_member:
+      orcid: 0000-0002-6291-9886
+      name: Malte Mues
+      institution: Bergische Universität Wuppertal
+      country: Germany
+      url: https://rsds.uni-wuppertal.de/en/research/
+    participants:
+      - orcid: 0000-0002-9524-4459
+        name: Falk Howar
+      - orcid: 0000-0002-6291-9886
+        name: Malte Mues
   - competition: "SV-COMP 2025"
     track: "Verification"
     tool_version: "svcomp25"