fm-weck 1.4.0__py3-none-any.whl → 1.4.2__py3-none-any.whl

fm_weck/resources/fm_tools/tracerx.yml

@@ -9,14 +9,20 @@ fmtools_format_version: "2.0"
 fmtools_entry_maintainers:
   - sajjadrsm
   - sanghu1790
+  - arpitad10j
 
 maintainers:
   - name: Joxan Jaffar
+    orcid: 0000-0001-9988-6144
     institution: National University of Singapore
     country: Singapore
     url: https://www.comp.nus.edu.sg/cs/bio/joxan/
 
 versions:
+  - version: "testcomp25"
+    doi: 10.5281/zenodo.14193195
+    benchexec_toolinfo_options: []
+    required_ubuntu_packages: []
   - version: "testcomp24"
     doi: 10.5281/zenodo.10200610
     benchexec_toolinfo_options: []
@@ -27,6 +33,14 @@ versions:
     required_ubuntu_packages: []
 
 competition_participations:
+  - competition: "Test-Comp 2025"
+    track: "Test Generation"
+    tool_version: "testcomp25"
+    jury_member:
+      name: Joxan Jaffar
+      institution: National University of Singapore
+      country: Singapore
+      url: https://www.comp.nus.edu.sg/cs/bio/joxan/
   - competition: "Test-Comp 2024"
     track: "Test Generation"
     tool_version: "testcomp24"
@@ -52,3 +66,8 @@ techniques:
   - Interpolation
 
 frameworks_solvers: []
+
+literature:
+  - doi: 10.1007/978-3-030-45234-6_28
+    title: "TracerX: Dynamic Symbolic Execution with Interpolation (Competition Contribution)"
+    year: 2020

fm_weck/resources/fm_tools/uautomizer.yml

@@ -14,6 +14,11 @@ fmtools_entry_maintainers:
   - danieldietsch
 
 maintainers:
+  - orcid: 0009-0004-9216-1801
+    name: Marcel Ebbinghaus
+    institution: University of Freiburg
+    country: Germany
+    url: https://swt.informatik.uni-freiburg.de/staff/ebbinghaus
   - orcid: 0000-0003-4252-3558
     name: Matthias Heizmann
     institution: University of Freiburg
@@ -25,7 +30,7 @@ maintainers:
     country: Germany
     url: https://swt.informatik.uni-freiburg.de/staff/klumpp
   - orcid: 0000-0002-5656-306X
-    name: "Frank Schüssele"
+    name: Frank Schüssele
     institution: University of Freiburg
     country: Germany
     url: https://swt.informatik.uni-freiburg.de/staff/schuessele
@@ -35,6 +40,24 @@ maintainers:
     country: Germany
     url: https://swt.informatik.uni-freiburg.de/staff/dietsch
 versions:
+  - version: svcomp25
+    doi: 10.5281/zenodo.14185457
+    benchexec_toolinfo_options: [--full-output]
+    required_ubuntu_packages:
+      - openjdk-21-jre-headless
+  - version: svcomp25-correctness
+    doi: 10.5281/zenodo.14185457
+    benchexec_toolinfo_options:
+      [--full-output, --witness-type, correctness_witness]
+    required_ubuntu_packages:
+      - openjdk-21-jre-headless
+  - version: svcomp25-violation
+    doi: 10.5281/zenodo.14185457
+    benchexec_toolinfo_options:
+      [--full-output, --witness-type, violation_witness]
+    required_ubuntu_packages:
+      - openjdk-21-jre-headless
+
   - version: svcomp24-correctness-post-deadline-yaml-wrapper-fix
     doi: 10.5281/zenodo.10223333
     benchexec_toolinfo_options:
@@ -81,6 +104,52 @@ versions:
       - openjdk-11-jre-headless
 
 competition_participations:
+  - competition: SV-COMP 2025
+    track: Verification
+    tool_version: svcomp25
+    jury_member:
+      orcid: 0000-0003-4252-3558
+      name: Matthias Heizmann
+      institution: University of Freiburg
+      country: Germany
+      url: https://swt.informatik.uni-freiburg.de/staff/heizmann
+  - competition: SV-COMP 2025
+    track: Validation of Correctness Witnesses 1.0
+    tool_version: svcomp25-correctness
+    jury_member:
+      orcid: 0009-0004-9216-1801
+      name: Marcel Ebbinghaus
+      institution: University of Freiburg
+      country: Germany
+      url: https://swt.informatik.uni-freiburg.de/staff/ebbinghaus
+  - competition: SV-COMP 2025
+    track: Validation of Correctness Witnesses 2.0
+    tool_version: svcomp25-correctness
+    jury_member:
+      orcid: 0009-0004-9216-1801
+      name: Marcel Ebbinghaus
+      institution: University of Freiburg
+      country: Germany
+      url: https://swt.informatik.uni-freiburg.de/staff/ebbinghaus
+  - competition: SV-COMP 2025
+    track: Validation of Violation Witnesses 1.0
+    tool_version: svcomp25-violation
+    jury_member:
+      orcid: 0009-0004-9216-1801
+      name: Marcel Ebbinghaus
+      institution: University of Freiburg
+      country: Germany
+      url: https://swt.informatik.uni-freiburg.de/staff/ebbinghaus
+  - competition: SV-COMP 2025
+    track: Validation of Violation Witnesses 2.0
+    tool_version: svcomp25-violation
+    jury_member:
+      orcid: 0009-0004-9216-1801
+      name: Marcel Ebbinghaus
+      institution: University of Freiburg
+      country: Germany
+      url: https://swt.informatik.uni-freiburg.de/staff/ebbinghaus
+
   - competition: SV-COMP 2024
     track: Verification
     tool_version: svcomp24
@@ -147,9 +216,8 @@ frameworks_solvers:
 
 literature:
   - doi: 10.1007/978-3-642-39799-8_2
-    title: "Software Model Checking for People Who Love Automata"
+    title: Software Model Checking for People Who Love Automata
     year: 2013
   - doi: 10.1007/978-3-031-30820-8_39
-    title: "Ultimate Automizer 2023 (Competition Contribution)"
+    title: Ultimate Automizer 2023 (Competition Contribution)
     year: 2023
-

fm_weck/resources/fm_tools/ugemcutter.yml

@@ -10,23 +10,32 @@ fmtools_entry_maintainers:
   - danieldietsch
 
 maintainers:
-  - name: Matthias Heizmann
+  - orcid: 0000-0003-4252-3558
+    name: Matthias Heizmann
     institution: University of Freiburg
     country: Germany
     url: https://swt.informatik.uni-freiburg.de/staff/heizmann
-  - name: Dominik Klumpp
+  - orcid: 0000-0003-4885-0728
+    name: Dominik Klumpp
     institution: University of Freiburg
     country: Germany
     url: https://swt.informatik.uni-freiburg.de/staff/klumpp
-  - name: "Frank Schüssele"
+  - orcid: 0000-0002-5656-306X
+    name: Frank Schüssele
     institution: University of Freiburg
     country: Germany
     url: https://swt.informatik.uni-freiburg.de/staff/schuessele
-  - name: Daniel Dietsch
+  - orcid: 0000-0002-8947-5373
+    name: Daniel Dietsch
     institution: University of Freiburg
     country: Germany
     url: https://swt.informatik.uni-freiburg.de/staff/dietsch
 versions:
+  - version: svcomp25
+    doi: 10.5281/zenodo.14185473
+    benchexec_toolinfo_options: [--full-output]
+    required_ubuntu_packages:
+      - openjdk-21-jre-headless
   - version: svcomp24
     doi: 10.5281/zenodo.10203548
     benchexec_toolinfo_options: [--full-output]
@@ -39,6 +48,15 @@ versions:
       - openjdk-11-jre-headless
 
 competition_participations:
+  - competition: SV-COMP 2025
+    track: Verification
+    tool_version: svcomp25
+    jury_member:
+      orcid: 0000-0003-4885-0728
+      name: Dominik Klumpp
+      institution: University of Freiburg
+      country: Germany
+      url: https://swt.informatik.uni-freiburg.de/staff/klumpp
   - competition: SV-COMP 2024
     track: Verification
     tool_version: svcomp24
@@ -76,8 +94,8 @@ frameworks_solvers:
 
 literature:
   - doi: 10.1145/3519939.3523727
-    title: "Sound sequentialization for concurrent program verification"
+    title: Sound sequentialization for concurrent program verification
     year: 2022
   - doi: 10.1007/978-3-030-99527-0_35
-    title: "Ultimate GemCutter and the Axes of Generalization"
+    title: Ultimate GemCutter and the Axes of Generalization
     year: 2022

fm_weck/resources/fm_tools/ukojak.yml

@@ -10,23 +10,38 @@ fmtools_entry_maintainers:
   - danieldietsch
 
 maintainers:
-  - name: Matthias Heizmann
+  - orcid: 0009-0003-4794-958X
+    name: Manuel Bentele
+    institution: University of Freiburg
+    country: Germany
+    url: https://swt.informatik.uni-freiburg.de/staff/bentele
+  - orcid: 0000-0003-4252-3558
+    name: Matthias Heizmann
     institution: University of Freiburg
     country: Germany
     url: https://swt.informatik.uni-freiburg.de/staff/heizmann
-  - name: Dominik Klumpp
+  - orcid: 0000-0003-4885-0728
+    name: Dominik Klumpp
     institution: University of Freiburg
     country: Germany
     url: https://swt.informatik.uni-freiburg.de/staff/klumpp
-  - name: "Frank Schüssele"
+  - orcid: 0000-0002-5656-306X
+    name: Frank Schüssele
     institution: University of Freiburg
     country: Germany
     url: https://swt.informatik.uni-freiburg.de/staff/schuessele
-  - name: Daniel Dietsch
+  - orcid: 0000-0002-8947-5373
+    name: Daniel Dietsch
     institution: University of Freiburg
     country: Germany
     url: https://swt.informatik.uni-freiburg.de/staff/dietsch
+
 versions:
+  - version: svcomp25
+    doi: 10.5281/zenodo.14185465
+    benchexec_toolinfo_options: [--full-output]
+    required_ubuntu_packages:
+      - openjdk-21-jre-headless
   - version: svcomp24
     doi: 10.5281/zenodo.10203546
     benchexec_toolinfo_options: [--full-output]
@@ -39,11 +54,20 @@ versions:
       - openjdk-11-jre-headless
 
 competition_participations:
+  - competition: SV-COMP 2025
+    track: Verification
+    tool_version: svcomp25
+    jury_member:
+      orcid: 0009-0003-4794-958X
+      name: Manuel Bentele
+      institution: University of Freiburg
+      country: Germany
+      url: https://swt.informatik.uni-freiburg.de/staff/bentele
   - competition: SV-COMP 2024
     track: Verification
     tool_version: svcomp24
     jury_member:
-      name: "Frank Schüssele"
+      name: Frank Schüssele
       institution: University of Freiburg
       country: Germany
       url: https://swt.informatik.uni-freiburg.de/staff/schuessele
@@ -51,7 +75,7 @@ competition_participations:
     track: Verification
     tool_version: svcomp23
     jury_member:
-      name: "Frank Schüssele"
+      name: Frank Schüssele
       institution: University of Freiburg
       country: Germany
       url: https://swt.informatik.uni-freiburg.de/staff/schuessele
@@ -67,3 +91,8 @@ frameworks_solvers:
   - Ultimate
   - SMTinterpol
   - Z3
+
+literature:
+  - doi: 10.1007/978-3-662-46681-0_44
+    title: ULTIMATE KOJAK with Memory Safety Checks (Competition Contribution)
+    year: 2015

fm_weck/resources/fm_tools/ureferee.yml

@@ -0,0 +1,82 @@
+name: UReferee
+description: |
+  Ultimate Referee is a correctness witness validator.
+input_languages:
+  - C
+project_url: https://ultimate-pa.org
+repository_url: https://github.com/ultimate-pa/ultimate
+spdx_license_identifier: LGPL-3.0-or-later
+benchexec_toolinfo_module: ultimatereferee.py
+fmtools_format_version: "2.0"
+fmtools_entry_maintainers:
+  - danieldietsch
+
+maintainers:
+  - orcid: 0000-0003-4252-3558
+    name: Matthias Heizmann
+    institution: University of Freiburg
+    country: Germany
+    url: https://swt.informatik.uni-freiburg.de/staff/heizmann
+  - orcid: 0000-0003-4885-0728
+    name: Dominik Klumpp
+    institution: University of Freiburg
+    country: Germany
+    url: https://swt.informatik.uni-freiburg.de/staff/klumpp
+  - orcid: 0000-0002-5656-306X
+    name: Frank Schüssele
+    institution: University of Freiburg
+    country: Germany
+    url: https://swt.informatik.uni-freiburg.de/staff/schuessele
+  - orcid: 0000-0002-8947-5373
+    name: Daniel Dietsch
+    institution: University of Freiburg
+    country: Germany
+    url: https://swt.informatik.uni-freiburg.de/staff/dietsch
+versions:
+  - version: svcomp25-correctness
+    doi: 10.5281/zenodo.14185478
+    benchexec_toolinfo_options:
+      [--full-output, --witness-type, correctness_witness]
+    required_ubuntu_packages:
+      - openjdk-21-jre-headless
+
+competition_participations:
+  - competition: SV-COMP 2025
+    track: Validation of Correctness Witnesses 1.0
+    tool_version: svcomp25-correctness
+    jury_member:
+      orcid: 0000-0002-5656-306X
+      name: Frank Schüssele
+      institution: University of Freiburg
+      country: Germany
+      url: https://swt.informatik.uni-freiburg.de/staff/schuessele
+  - competition: SV-COMP 2025
+    track: Validation of Correctness Witnesses 2.0
+    tool_version: svcomp25-correctness
+    jury_member:
+      orcid: 0000-0002-5656-306X
+      name: Frank Schüssele
+      institution: University of Freiburg
+      country: Germany
+      url: https://swt.informatik.uni-freiburg.de/staff/schuessele
+
+techniques:
+  - CEGAR
+  - Predicate Abstraction
+  - Bit-Precise Analysis
+  - Lazy Abstraction
+  - Interpolation
+  - Automata-Based Analysis
+  - Concurrency Support
+  - Ranking Functions
+  - Algorithm Selection
+  - Portfolio
+
+frameworks_solvers:
+  - Ultimate
+  - MathSAT
+  - CVC
+  - SMTinterpol
+  - Z3
+
+literature: []

fm_weck/resources/fm_tools/utaipan.yml

@@ -10,23 +10,32 @@ fmtools_entry_maintainers:
   - danieldietsch
 
 maintainers:
-  - name: Matthias Heizmann
+  - orcid: 0000-0003-4252-3558
+    name: Matthias Heizmann
     institution: University of Freiburg
     country: Germany
     url: https://swt.informatik.uni-freiburg.de/staff/heizmann
-  - name: Dominik Klumpp
+  - orcid: 0000-0003-4885-0728
+    name: Dominik Klumpp
     institution: University of Freiburg
     country: Germany
     url: https://swt.informatik.uni-freiburg.de/staff/klumpp
-  - name: "Frank Schüssele"
+  - orcid: 0000-0002-5656-306X
+    name: Frank Schüssele
     institution: University of Freiburg
     country: Germany
     url: https://swt.informatik.uni-freiburg.de/staff/schuessele
-  - name: Daniel Dietsch
+  - orcid: 0000-0002-8947-5373
+    name: Daniel Dietsch
     institution: University of Freiburg
     country: Germany
     url: https://swt.informatik.uni-freiburg.de/staff/dietsch
 versions:
+  - version: svcomp25
+    doi: 10.5281/zenodo.14185470
+    benchexec_toolinfo_options: [--full-output]
+    required_ubuntu_packages:
+      - openjdk-21-jre-headless
   - version: svcomp24
     doi: 10.5281/zenodo.10203547
     benchexec_toolinfo_options: [--full-output]
@@ -39,6 +48,15 @@ versions:
       - openjdk-11-jre-headless
 
 competition_participations:
+  - competition: SV-COMP 2025
+    track: Verification
+    tool_version: svcomp25
+    jury_member:
+      orcid: 0000-0002-8947-5373
+      name: Daniel Dietsch
+      institution: University of Freiburg
+      country: Germany
+      url: https://swt.informatik.uni-freiburg.de/staff/dietsch
   - competition: SV-COMP 2024
     track: Verification
     tool_version: svcomp24
@@ -75,3 +93,14 @@ frameworks_solvers:
   - CVC
   - SMTinterpol
   - Z3
+
+literature:
+  - doi: 10.1007/978-3-031-30820-8_40
+    title: Ultimate Taipan and Race Detection in Ultimate (Competition Contribution)
+    year: 2023
+  - doi: 10.1007/978-3-030-45237-7_32
+    title: Ultimate Taipan with Symbolic Interpretation and Fluid Abstractions (Competition Contribution)
+    year: 2020
+  - doi: 10.1007/978-3-319-66706-5_7
+    title: Loop invariants from counterexamples
+    year: 2017

fm_weck/resources/fm_tools/utestgen.yml

@@ -8,14 +8,21 @@ benchexec_toolinfo_module: "ultimatetestgen.py"
 fmtools_format_version: "2.0"
 fmtools_entry_maintainers:
   - danieldietsch
+  - MaxBarth95
 
 maintainers:
   - name: Max Barth
+    orcid: 0009-0002-7716-3898
     institution: LMU Munich
     country: Germany
     url: https://www.sosy-lab.org/people/barth/
 
 versions:
+  - version: "testcomp25"
+    doi: 10.5281/zenodo.14185070
+    benchexec_toolinfo_options: ['--traceabstraction.test.generation.mode', 'Standard', '--rcfgbuilder.reuse.mode.for.test.generation', 'ReuseUNSATmatchPrefix','--full-output']
+    required_ubuntu_packages:
+      - openjdk-11-jre-headless
   - version: "testcomp24"
     doi: 10.5281/zenodo.10071568
     benchexec_toolinfo_options: ['--traceabstraction.test.generation.mode', 'Standard', '--full-output']
@@ -23,10 +30,20 @@ versions:
       - openjdk-11-jre-headless
 
 competition_participations:
+  - competition: "Test-Comp 2025"
+    track: "Test Generation"
+    tool_version: "testcomp25"
+    jury_member:
+      orcid: 0009-0002-7716-3898
+      name: Max Barth
+      institution: LMU Munich
+      country: Germany
+      url: https://www.sosy-lab.org/people/barth/
   - competition: "Test-Comp 2024"
     track: "Test Generation"
     tool_version: "testcomp24"
     jury_member:
+      orcid: 0009-0002-7716-3898
       name: Max Barth
       institution: LMU Munich
       country: Germany
@@ -40,3 +57,14 @@ techniques:
 
 frameworks_solvers:
   - Ultimate
+
+literature:
+  - doi: 10.1007/978-3-031-66149-5_14
+    title: "Test-Case Generation with Automata-Based Software Model Checking"
+    year: 2024
+  - doi: 10.1007/978-3-031-72044-4_3
+    title: "Refining CEGAR-Based Test-Case Generation with Feasibility Annotations"
+    year: 2024
+  - doi: 10.1007/978-3-031-57259-3_20
+    title: "Ultimate TestGen: Test-Case Generation with Automata-based Software Model Checking (Competition Contribution)"
+    year: 2024   

fm_weck/resources/fm_tools/veriabs.yml

@@ -10,13 +10,24 @@ fmtools_entry_maintainers:
   - priyankadarke
 
 maintainers:
-  - name: Priyanka Darke
+  - orcid: 0000-0001-6104-9033
+    name: Priyanka Darke
     institution: Tata Consultancy Services
     country: India
     url: https://www.tcs.com
     
 
 versions:
+  - version: "1.6.2"
+    doi: 10.5281/zenodo.14030466
+    benchexec_toolinfo_options: ['--veriabs']
+    required_ubuntu_packages:
+      - libc6-dev-i386
+      - openjdk-11-jre-headless
+      - openjdk-17-jre-headless
+      - clang-12
+    full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2024
   - version: "svcomp24"
     doi: 10.5281/zenodo.10243500
     benchexec_toolinfo_options: ['--sv22']
@@ -32,10 +43,20 @@ versions:
       - openjdk-11-jre-headless
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Verification"
+    tool_version: "1.6.2"
+    jury_member:
+      orcid: 0000-0001-6104-9033
+      name: Priyanka Darke
+      institution: Tata Consultancy Services
+      country: India
+      url: null
   - competition: "SV-COMP 2024"
     track: "Verification"
     tool_version: "svcomp24"
     jury_member:
+      orcid: 0000-0001-6104-9033
       name: Priyanka Darke
       institution: Tata Consultancy Services
       country: India
@@ -44,6 +65,7 @@ competition_participations:
     track: "Verification"
     tool_version: "svcomp23"
     jury_member:
+      orcid: 0000-0001-6104-9033
       name: Priyanka Darke
       institution: Tata Consultancy Services
       country: India
@@ -64,3 +86,8 @@ frameworks_solvers:
   - CProver
   - Z3
   - MiniSAT
+
+literature:
+  - doi: 10.1007/978-3-030-72013-1_32
+    title: "VeriAbs: A Tool for Scalable Verification by Abstraction"
+    year: 2021

fm_weck/resources/fm_tools/veriabsl.yml

@@ -10,19 +10,44 @@ fmtools_entry_maintainers:
   - priyankadarke
 
 maintainers:
-  - name: Priyanka Darke
+  - orcid: 0000-0001-6104-9033
+    name: Priyanka Darke
     institution: Tata Consultancy Services
     country: India
     url: https://www.tcs.com
 
 versions:
+  - version: "1.6.2"
+    doi: 10.5281/zenodo.14030454
+    benchexec_toolinfo_options: []
+    required_ubuntu_packages:
+      - libc6-dev-i386
+      - openjdk-11-jre-headless
+      - openjdk-17-jre-headless
+      - python3-absl
+      - python3-astunparse
+      - python3-flatbuffers
+      - python3-gast
+      - python3-h5py
+      - python3-packaging
+      - python3-termcolor
+      - python3-wrapt
+      - python3-typing-extensions
+      - python3-pandas
+      - python3-sklearn
+      - python3-certifi
+      - python3-idna
+      - python3-requests
+      - python3-urllib3
+      - clang-12
+    full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2024
   - version: "svcomp24"
     doi: 10.5281/zenodo.10244458
     benchexec_toolinfo_options: []
     required_ubuntu_packages:
       - libc6-dev-i386
       - openjdk-11-jre-headless
-      - python3-pip
       - python3-absl
       - python3-astunparse
       - python3-flatbuffers
@@ -45,7 +70,6 @@ versions:
     required_ubuntu_packages:
       - libc6-dev-i386
       - openjdk-11-jre-headless
-      - python3-pip
       - python3-absl
       - python3-astunparse
       - python3-flatbuffers
@@ -63,10 +87,20 @@ versions:
       - python3-urllib3
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Verification"
+    tool_version: "1.6.2"
+    jury_member:
+      orcid: 0000-0001-6104-9033
+      name: Priyanka Darke
+      institution: Tata Consultancy Services
+      country: India
+      url: null
   - competition: "SV-COMP 2024"
     track: "Verification"
     tool_version: "svcomp24"
     jury_member:
+      orcid: 0000-0001-6104-9033
       name: Priyanka Darke
       institution: Tata Consultancy Services
       country: India
@@ -75,6 +109,7 @@ competition_participations:
     track: "Verification"
     tool_version: "svcomp23"
     jury_member:
+      orcid: 0000-0001-6104-9033
       name: Priyanka Darke
       institution: Tata Consultancy Services
       country: India
@@ -95,3 +130,8 @@ frameworks_solvers:
   - CProver
   - Z3
   - MiniSAT
+
+literature:
+  - doi: 10.1007/978-3-031-30820-8_41
+    title: "VeriAbsL: Scalable Verification by Abstraction and Strategy Prediction"
+    year: 2023

fm_weck/resources/fm_tools/verifuzz.yml

@@ -27,6 +27,8 @@ versions:
       - python2
       - python3-sklearn
       - python3-pandas
+    full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2023
 
 competition_participations:
   - competition: "SV-COMP 2023"

fm_weck/resources/fm_tools/verioover.yml

@@ -22,8 +22,18 @@ versions:
     required_ubuntu_packages: []
 
 competition_participations:
+  - competition: "SV-COMP 2025"
+    track: "Verification"
+    hors-concours: true
+    tool_version: "svcomp23"
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url: null
   - competition: "SV-COMP 2024"
     track: "Verification"
+    hors-concours: true
     tool_version: "svcomp23"
     jury_member:
       name: Hors Concours