Published July 4, 2023
| Version v2
Dataset
Open
Data, scripts, and results from SYNTCOMP 2023
Authors/Creators
- 1. CISPA Helmholtz Center for Information Security
- 2. University of Antwerp
- 3. Philipp
Description
This artifact contains all data downloaded from the StarExec platform concerning the jobs that ran the LTL, LTLf, and parity-game tracks of the 2023 reactive synthesis competition (SYNTCOMP23).
Files
Otus.zip
Files
(6.4 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:fc8ffc6a0598a9a31d24e7fd84b64523
|
42.5 MB | Preview Download |
|
md5:9c152f2c899ab6799790e05445424469
|
6.3 GB | Preview Download |