There is a newer version of the record available.

Published July 4, 2023 | Version v1
Dataset Open

Data, scripts, and results from SYNTCOMP 2023

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

SYNTCOMP2023-data.zip

Files (6.3 GB)

Name Size Download all
md5:9c152f2c899ab6799790e05445424469
6.3 GB Preview Download