Adds category and benchmark definition for Owi (!114) · Merge requests · SoSy-Lab / Test-Comp / Benchmark Definitions

filipeom requested to merge filipeom/bench-defs:main into main Nov 01, 2023

Category and benchmark definition for Owi participating in Test-Comp 24 (Easychair submission 2394)

Artifact:

Edited Nov 09, 2023 by filipeom

Adds category and benchmark definition for Owi