There is a newer version of the record available.

Published July 4, 2023 | Version v1
Dataset Open

Data, scripts, and results from SYNTCOMP 2023

  • 1. CISPA Helmholtz Center for Information Security
  • 2. University of Antwerp
  • 3. Philipp


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 (6.3 GB)

Name Size Download all
6.3 GB Preview Download