benchmark-defs/category-structure.yml · testcomp25 · SoSy-Lab / Test-Comp / Benchmark Definitions

Mar 21, 2025
59a8f39e
Make category structure consistent with the actual participation, fix... · 59a8f39e
Dirk Beyer authored Mar 21, 2025
```
Make category structure consistent with the actual participation, fix validator ids, update submodule
```
59a8f39e
Make category structure consistent with the actual participation, fix...
Dirk Beyer authored Mar 21, 2025
```
Make category structure consistent with the actual participation, fix validator ids, update submodule
```