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

fm_weck/resources/fm_tools/ugemcutter.yml

@@ -6,17 +6,40 @@ description: |
   execution order does not matter. It integrates partial order reduction 
   algorithms (that take advantage of commutativity) with a trace 
   abstraction-based CEGAR scheme.
+
 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: ultimategemcutter.py
-fmtools_format_version: "2.0"
+fmtools_format_version: '2.0'
+
 fmtools_entry_maintainers:
   - danieldietsch
 
 maintainers:
+  - orcid: 0009-0002-7716-3898
+    name: Max Barth
+    institution: LMU Munich
+    country: Germany
+    url: https://www.sosy-lab.org/people/barth/
+  - 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-0002-8947-5373
+    name: Daniel Dietsch
+    institution: University of Freiburg
+    country: Germany
+    url: https://swt.informatik.uni-freiburg.de/staff/dietsch
+  - 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 Stuttgart
@@ -24,20 +47,30 @@ maintainers:
     url: https://www.iste.uni-stuttgart.de/de/institut/team/Heizmann/
   - orcid: 0000-0003-4885-0728
     name: Dominik Klumpp
-    institution: University of Freiburg
-    country: Germany
-    url: https://swt.informatik.uni-freiburg.de/staff/klumpp
+    institution: LIX - CNRS - École Polytechnique
+    country: France
+    url: https://dominik-klumpp.net/
   - 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: svcomp26
+    doi: 10.5281/zenodo.17735380
+    benchexec_toolinfo_options: [--full-output]
+    required_ubuntu_packages:
+      - openjdk-21-jre-headless
+    base_container_images:
+      - docker.io/ubuntu:24.04
+  - version: svcomp26-correctness
+    doi: 10.5281/zenodo.17735380
+    benchexec_toolinfo_options: [--validate, '${witness}', --full-output, --witness-type, correctness_witness]
+    required_ubuntu_packages:
+      - openjdk-21-jre-headless
+    base_container_images:
+      - docker.io/ubuntu:24.04
   - version: svcomp25
     doi: 10.5281/zenodo.14209054
     benchexec_toolinfo_options: [--full-output]
@@ -55,6 +88,58 @@ versions:
       - openjdk-11-jre-headless
 
 competition_participations:
+  - competition: SV-COMP 2026
+    track: Verification
+    tool_version: svcomp26
+    jury_member:
+      orcid: 0000-0003-4885-0728
+      name: Dominik Klumpp
+      institution: University of Freiburg
+      country: Germany
+      url: https://dominik-klumpp.net/
+    participants:
+      - orcid: 0000-0003-4885-0728
+        name: Dominik Klumpp
+      - orcid: 0009-0002-7716-3898
+        name: Max Barth
+      - orcid: 0009-0003-4794-958X
+        name: Manuel Bentele
+      - orcid: 0000-0002-8947-5373
+        name: Daniel Dietsch
+      - orcid: 0009-0004-9216-1801
+        name: Marcel Ebbinghaus
+      - orcid: 0000-0003-4252-3558
+        name: Matthias Heizmann
+      - orcid: 0009-0008-8631-9085
+        name: Jan Körner
+      - orcid: 0000-0002-5656-306X
+        name: Frank Schüssele
+  - competition: SV-COMP 2026
+    track: Validation of Correctness Witnesses v2
+    tool_version: svcomp26-correctness
+    jury_member:
+      orcid: 0000-0003-4885-0728
+      name: Dominik Klumpp
+      institution: University of Freiburg
+      country: Germany
+      url: https://dominik-klumpp.net/
+    participants:
+      - orcid: 0000-0003-4885-0728
+        name: Dominik Klumpp
+      - orcid: 0009-0002-7716-3898
+        name: Max Barth
+      - orcid: 0009-0003-4794-958X
+        name: Manuel Bentele
+      - orcid: 0000-0002-8947-5373
+        name: Daniel Dietsch
+      - orcid: 0009-0004-9216-1801
+        name: Marcel Ebbinghaus
+      - orcid: 0000-0003-4252-3558
+        name: Matthias Heizmann
+      - orcid: 0009-0008-8631-9085
+        name: Jan Körner
+      - orcid: 0000-0002-5656-306X
+        name: Frank Schüssele
   - competition: SV-COMP 2025
     track: Verification
     tool_version: svcomp25
@@ -106,3 +191,6 @@ literature:
   - doi: 10.1007/978-3-030-99527-0_35
     title: Ultimate GemCutter and the Axes of Generalization
     year: 2022
+  - doi: 10.1007/978-3-031-98682-6_18
+    title: Counterexample-Guided Commutativity
+    year: 2025

fm_weck/resources/fm_tools/ukojak.yml

@@ -3,22 +3,40 @@ name: UKojak
 description: |
   Kojak analyses programs using an extension of the Lazy Interpolants CEGAR 
   scheme.
+
 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: ultimatekojak.py
-fmtools_format_version: "2.0"
+fmtools_format_version: '2.0'
+
 fmtools_entry_maintainers:
   - danieldietsch
 
 maintainers:
+  - orcid: 0009-0002-7716-3898
+    name: Max Barth
+    institution: LMU Munich
+    country: Germany
+    url: https://www.sosy-lab.org/people/barth/
   - 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-0002-8947-5373
+    name: Daniel Dietsch
+    institution: University of Freiburg
+    country: Germany
+    url: https://swt.informatik.uni-freiburg.de/staff/dietsch
+  - 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 Stuttgart
@@ -26,21 +44,23 @@ maintainers:
     url: https://www.iste.uni-stuttgart.de/de/institut/team/Heizmann/
   - orcid: 0000-0003-4885-0728
     name: Dominik Klumpp
-    institution: University of Freiburg
-    country: Germany
-    url: https://swt.informatik.uni-freiburg.de/staff/klumpp
+    institution: LIX - CNRS - École Polytechnique
+    country: France
+    url: https://dominik-klumpp.net/
   - 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: svcomp26
+    doi: 10.5281/zenodo.17735263
+    benchexec_toolinfo_options: [--full-output]
+    required_ubuntu_packages:
+      - openjdk-21-jre-headless
+    base_container_images:
+      - docker.io/ubuntu:24.04
   - version: svcomp25
     doi: 10.5281/zenodo.14209044
     benchexec_toolinfo_options: [--full-output]
@@ -58,6 +78,32 @@ versions:
       - openjdk-11-jre-headless
 
 competition_participations:
+  - competition: SV-COMP 2026
+    track: Verification
+    tool_version: svcomp26
+    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
+    participants:
+      - orcid: 0009-0003-4794-958X
+        name: Manuel Bentele
+      - orcid: 0009-0002-7716-3898
+        name: Max Barth
+      - orcid: 0000-0002-8947-5373
+        name: Daniel Dietsch
+      - orcid: 0009-0004-9216-1801
+        name: Marcel Ebbinghaus
+      - orcid: 0000-0003-4252-3558
+        name: Matthias Heizmann
+      - orcid: 0000-0003-4885-0728
+        name: Dominik Klumpp
+      - orcid: 0009-0008-8631-9085
+        name: Jan Körner
+      - orcid: 0000-0002-5656-306X
+        name: Frank Schüssele
   - competition: SV-COMP 2025
     track: Verification
     tool_version: svcomp25

fm_weck/resources/fm_tools/uparalizer.yml

@@ -0,0 +1,78 @@
+id: uparalizer
+name: UParalizer
+description: |
+  Ultimate Paralizer is a software model checker that is based on parallel trace abstraction.
+  It analyis multiple counterexample in parallel, including:
+  feasibility checks, interpolation and refinements.
+
+input_languages:
+  - C
+project_url: https://ultimate.informatik.uni-freiburg.de
+repository_url: https://github.com/ultimate-pa/ultimate
+spdx_license_identifier: "LGPL-3.0-or-later"
+benchexec_toolinfo_module: "ultimateparalizer.py"
+fmtools_format_version: "2.0"
+fmtools_entry_maintainers:
+  - 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: svcomp26
+    doi: 10.5281/zenodo.17555227
+    benchexec_toolinfo_options: ["--traceabstraction.threadlimit.for.parallel.cegar", "2", "--full-output"]
+    required_ubuntu_packages:
+      - openjdk-21-jre-headless
+    base_container_images:
+      - docker.io/ubuntu:24.04
+
+competition_participations:
+  - competition: SV-COMP 2026
+    track: Verification
+    tool_version: svcomp26
+    jury_member:
+      orcid: 0009-0002-7716-3898
+      name: Max Barth
+      institution: LMU Munich
+      country: Germany
+      url: https://www.sosy-lab.org/people/barth/
+    participants:
+      - orcid: 0009-0004-9216-1801
+        name: Marcel Ebbinghaus
+      - orcid: 0009-0002-7716-3898
+        name: Max Barth
+      - orcid: 0009-0003-4794-958X
+        name: Manuel Bentele
+      - orcid: 0000-0002-8947-5373
+        name: Daniel Dietsch
+      - orcid: 0000-0003-4252-3558
+        name: Matthias Heizmann
+      - orcid: 0000-0003-4885-0728
+        name: Dominik Klumpp
+      - orcid: 0000-0002-5656-306X
+        name: Frank Schüssele
+      - orcid: 0000-0002-5890-4673
+        name: Marie-Christine Jakobs
+
+techniques:
+  - CEGAR
+  - Interpolation
+  - Automata-Based Analysis
+  - Portfolio
+
+frameworks_solvers:
+  - Ultimate
+  - MathSAT
+  - CVC
+  - SMTinterpol
+  - Z3
+
+literature:
+  - doi: 10.48550/arXiv.2509.13699
+    title: "Multi-Threaded Software Model Checking via Parallel Trace Abstraction Refinement"
+    year: 2025

fm_weck/resources/fm_tools/ureferee.yml

@@ -1,18 +1,45 @@
 id: ureferee
 name: UReferee
 description: |
-  Ultimate Referee is a correctness witness validator.
+  Ultimate Referee is a deductive verifier. It checks whether
+  annotated invariants are sufficient to establish an inductive proof.
+  In particular, Referee does not try and infer invariants, it only
+  checks them. Invariants can also be provided as correctness
+  witnesses, which makes Referee a strict 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_format_version: '2.0'
+
 fmtools_entry_maintainers:
   - danieldietsch
 
 maintainers:
+  - orcid: 0009-0002-7716-3898
+    name: Max Barth
+    institution: LMU Munich
+    country: Germany
+    url: https://www.sosy-lab.org/people/barth/
+  - 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-0002-8947-5373
+    name: Daniel Dietsch
+    institution: University of Freiburg
+    country: Germany
+    url: https://swt.informatik.uni-freiburg.de/staff/dietsch
+  - 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 Stuttgart
@@ -20,29 +47,72 @@ maintainers:
     url: https://www.iste.uni-stuttgart.de/de/institut/team/Heizmann/
   - orcid: 0000-0003-4885-0728
     name: Dominik Klumpp
-    institution: University of Freiburg
-    country: Germany
-    url: https://swt.informatik.uni-freiburg.de/staff/klumpp
+    institution: LIX - CNRS - École Polytechnique
+    country: France
+    url: https://dominik-klumpp.net/
   - 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: svcomp26
+    doi: 10.5281/zenodo.17735453
+    benchexec_toolinfo_options: [--validate, '${witness}', --full-output, --witness-type, correctness_witness]
+    required_ubuntu_packages:
+      - openjdk-21-jre-headless
+    base_container_images:
+      - docker.io/ubuntu:24.04
   - version: svcomp25-correctness
     doi: 10.5281/zenodo.14209067
-    benchexec_toolinfo_options: ["--validate", "${witness}", "--full-output", "--witness-type", "correctness_witness"]
+    benchexec_toolinfo_options: [--validate, '${witness}', --full-output, --witness-type, correctness_witness]
     required_ubuntu_packages:
       - openjdk-21-jre-headless
+    base_container_images:
+      - docker.io/ubuntu:24.04
+    full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2025
 
 competition_participations:
+  - competition: SV-COMP 2026
+    track: Validation of Correctness Witnesses v2
+    tool_version: svcomp26
+    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
+    participants:
+      - orcid: 0000-0002-5656-306X
+        name: Frank Schüssele
+      - orcid: 0009-0002-7716-3898
+        name: Max Barth
+      - orcid: 0009-0003-4794-958X
+        name: Manuel Bentele
+      - orcid: 0000-0002-8947-5373
+        name: Daniel Dietsch
+      - orcid: 0009-0004-9216-1801
+        name: Marcel Ebbinghaus
+      - orcid: 0000-0003-4252-3558
+        name: Matthias Heizmann
+      - orcid: 0000-0003-4885-0728
+        name: Dominik Klumpp
+      - orcid: 0009-0008-8631-9085
+        name: Jan Körner
+  - competition: SV-COMP 2026
+    track: Validation of Correctness Witnesses v1
+    tool_version: svcomp25-correctness
+    label:
+      - inactive
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url: --
   - competition: SV-COMP 2025
-    track: Validation of Correctness Witnesses 1.0
+    track: Validation of Correctness Witnesses v1
     tool_version: svcomp25-correctness
     jury_member:
       orcid: 0000-0002-5656-306X
@@ -51,7 +121,7 @@ competition_participations:
       country: Germany
       url: https://swt.informatik.uni-freiburg.de/staff/schuessele
   - competition: SV-COMP 2025
-    track: Validation of Correctness Witnesses 2.0
+    track: Validation of Correctness Witnesses v2
     tool_version: svcomp25-correctness
     jury_member:
       orcid: 0000-0002-5656-306X

fm_weck/resources/fm_tools/utaipan.yml

@@ -6,17 +6,40 @@ description: |
   proofs from single traces with an SMT solver, it also uses an abstract 
   interpreter applied to the path program induced by a trace.
   For concurrency, it uses an explicit product of finite automata.
+
 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: ultimatetaipan.py
-fmtools_format_version: "2.0"
+fmtools_format_version: '2.0'
+
 fmtools_entry_maintainers:
   - danieldietsch
 
 maintainers:
+  - orcid: 0009-0002-7716-3898
+    name: Max Barth
+    institution: LMU Munich
+    country: Germany
+    url: https://www.sosy-lab.org/people/barth/
+  - 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-0002-8947-5373
+    name: Daniel Dietsch
+    institution: University of Freiburg
+    country: Germany
+    url: https://swt.informatik.uni-freiburg.de/staff/dietsch
+  - 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 Stuttgart
@@ -24,20 +47,23 @@ maintainers:
     url: https://www.iste.uni-stuttgart.de/de/institut/team/Heizmann/
   - orcid: 0000-0003-4885-0728
     name: Dominik Klumpp
-    institution: University of Freiburg
-    country: Germany
-    url: https://swt.informatik.uni-freiburg.de/staff/klumpp
+    institution: LIX - CNRS - École Polytechnique
+    country: France
+    url: https://dominik-klumpp.net/
   - 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: svcomp26
+    doi: 10.5281/zenodo.17735313
+    benchexec_toolinfo_options: [--full-output]
+    required_ubuntu_packages:
+      - openjdk-21-jre-headless
+    base_container_images:
+      - docker.io/ubuntu:24.04
   - version: svcomp25
     doi: 10.5281/zenodo.14209053
     benchexec_toolinfo_options: [--full-output]
@@ -55,6 +81,32 @@ versions:
       - openjdk-11-jre-headless
 
 competition_participations:
+  - competition: SV-COMP 2026
+    track: Verification
+    tool_version: svcomp26
+    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
+    participants:
+      - orcid: 0000-0002-8947-5373
+        name: Daniel Dietsch
+      - orcid: 0009-0002-7716-3898
+        name: Max Barth
+      - orcid: 0009-0003-4794-958X
+        name: Manuel Bentele
+      - orcid: 0009-0004-9216-1801
+        name: Marcel Ebbinghaus
+      - orcid: 0000-0003-4252-3558
+        name: Matthias Heizmann
+      - orcid: 0000-0003-4885-0728
+        name: Dominik Klumpp
+      - orcid: 0009-0008-8631-9085
+        name: Jan Körner
+      - orcid: 0000-0002-5656-306X
+        name: Frank Schüssele
   - competition: SV-COMP 2025
     track: Verification
     tool_version: svcomp25

fm_weck/resources/fm_tools/utestgen.yml

@@ -23,6 +23,16 @@ maintainers:
     url: https://www.sosy-lab.org/people/barth/
 
 versions:
+  - version: "testcomp26"
+    doi: 10.5281/zenodo.17792491
+    benchexec_toolinfo_options: ["--full-output"]
+    required_ubuntu_packages:
+      - openjdk-21-jre-headless
+    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.14185070
     benchexec_toolinfo_options: ["--traceabstraction.test.generation.mode", "Standard", "--rcfgbuilder.reuse.mode.for.test.generation", "ReuseUNSATmatchPrefix", "--full-output"]
@@ -35,6 +45,32 @@ versions:
       - openjdk-11-jre-headless
 
 competition_participations:
+  - competition: "Test-Comp 2026"
+    track: "Test Generation"
+    tool_version: "testcomp26"
+    jury_member:
+      orcid: 0009-0002-7716-3898
+      name: Max Barth
+      institution: LMU Munich
+      country: Germany
+      url: https://www.sosy-lab.org/people/barth/
+    participants:
+      - orcid: 0009-0004-9216-1801
+        name: Marcel Ebbinghaus
+      - orcid: 0009-0002-7716-3898
+        name: Max Barth
+      - orcid: 0009-0003-4794-958X
+        name: Manuel Bentele
+      - orcid: 0000-0002-8947-5373
+        name: Daniel Dietsch
+      - orcid: 0000-0003-4252-3558
+        name: Matthias Heizmann
+      - orcid: 0000-0003-4885-0728
+        name: Dominik Klumpp
+      - orcid: 0000-0002-5656-306X
+        name: Frank Schüssele
+      - orcid: 0000-0002-5890-4673
+        name: Marie-Christine Jakobs
   - competition: "Test-Comp 2025"
     track: "Test Generation"
     tool_version: "testcomp25"

fm_weck/resources/fm_tools/veriabs.yml

@@ -30,6 +30,8 @@ versions:
   - version: "svcomp24"
     doi: 10.5281/zenodo.10243500
     benchexec_toolinfo_options: ['--sv22']
+    base_container_images:
+      - docker.io/ubuntu:22.04
     required_ubuntu_packages:
       - libc6-dev-i386
       - openjdk-11-jre-headless
@@ -44,6 +46,16 @@ versions:
       - openjdk-11-jre-headless
 
 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:

fm_weck/resources/fm_tools/veriabsl.yml

@@ -44,6 +44,8 @@ versions:
   - version: "svcomp24"
     doi: 10.5281/zenodo.10244458
     benchexec_toolinfo_options: []
+    base_container_images:
+      - docker.io/ubuntu:22.04
     required_ubuntu_packages:
       - libc6-dev-i386
       - openjdk-11-jre-headless
@@ -68,6 +70,8 @@ versions:
   - version: "svcomp23"
     url: "https://gitlab.com/sosy-lab/sv-comp/archives-2023/-/raw/svcomp23/2023/veriabsl.zip"
     benchexec_toolinfo_options: []
+    base_container_images:
+      - docker.io/ubuntu:22.04
     required_ubuntu_packages:
       - libc6-dev-i386
       - openjdk-11-jre-headless
@@ -86,8 +90,20 @@ versions:
       - python3-idna
       - python3-requests
       - python3-urllib3
+    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: "svcomp24"
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url:
   - competition: "SV-COMP 2025"
     track: "Verification"
     label: