Skip to content

Benchmark set for SYNTCOMP 2024

Choose a tag to compare

View all tags
@gaperez64 gaperez64 released this 27 May 13:54
· 26 commits to master since this release
v2024.0.1
cb284bd

This is a proposal for the choice of benchmarks for SYNTCOMP 2024. The main issue I see is that the total size of the parity-game benchmarks is too large.

Assets 5
Loading