Published 2024 | Version v2
Dataset Open

Data and scripts used for the SYNTCOMP report 2018-2021

Authors/Creators

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

Description

We have reported on the last four editions of the reactive synthesis competition (SYNTCOMP 2018-2021). We briefly described the evaluation scheme and the experimental setup of SYNTCOMP. Then, we introduced new benchmark classes that have been added to the SYNTCOMP library and give an overview of the participants of SYNTCOMP. Finally, we presented and analyzed the results of our experimental evaluations, including a ranking of tools with respect to quantity and quality of solutions.

The data and scripts uploaded herewith were used for the results and experiments in the aforementioned report.

Files

syntcomp-report-18-21.zip

Files (1.0 MB)

Name Size Download all
md5:4ac2541caa6497633d91550fac5e7184
1.0 MB Preview Download

Additional details

Related works

Is supplement to
Publication: https://doi.org/10.1007/s10009-024-00754-1 (URL)

Dates

Collected
2018-01-01/2021-12-01