Data and scripts used for the SYNTCOMP report 2018-2021

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.