Published June 20, 2024
| Version v1
Dataset
Open
Data, scripts, and results from SYNTCOMP 2024
Authors/Creators
-
1.
Helmholtz Center for Information Security
- 2. EPITA Research Laboratory
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 2024 reactive synthesis competition (SYNTCOMP24).
Files
LTL-REAL-JOB.zip
Files
(1.3 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:88f932bf73396fda0bdd3d8da2209f9c
|
13.0 kB | Download |
|
md5:bdd823a0b299b047d2a25069fdbbc83c
|
374.2 kB | Preview Download |
|
md5:223a32af34b57a1c4e5ad99f7ad986b1
|
850.1 MB | Preview Download |
|
md5:4c32f90949f36967e8daf7885430f693
|
160.7 kB | Preview Download |
|
md5:996810e6f60989b1831e2de5ae707db4
|
131.1 MB | Preview Download |
|
md5:d4dc0b0770e28780f4a92fb978429f7c
|
104.0 MB | Preview Download |
|
md5:29d47bff88c12d64905ae4acbf17de7e
|
56.9 kB | Preview Download |
|
md5:11bf741b1335ce60281c1fa084bef0e7
|
179.2 MB | Preview Download |
|
md5:ca40ed895be5adbddb2151281f149f38
|
648 Bytes | Preview Download |
|
md5:5d42806d576ea9ba1cbc49fbd3123075
|
2.3 MB | Preview Download |
|
md5:d876151f0d8f0eb83044d1b3d6dd31c7
|
1.1 MB | Preview Download |