Publication
Title
The Second Reactive Synthesis Competition (SYNTCOMP 2015)
Author
Abstract
We report on the design and results of the second reactive synthesis competition (SYNTCOMP 2015). We describe our extended benchmark library, with 6 completely new sets of benchmarks, and additional challenging instances for 4 of the benchmark sets that were already used in SYNTCOMP 2014. To enhance the analysis of experimental results, we introduce an extension of our benchmark format with meta-information, including a difficulty rating and a reference size for solutions. Tools are evaluated on a set of 250 benchmarks, selected to provide a good coverage of benchmarks from all classes and difficulties. We report on changes of the evaluation scheme and the experimental setup. Finally, we describe the entrants into SYNTCOMP 2015, as well as the results of our experimental evaluation. In our analysis, we emphasize progress over the tools that participated last year.
Language
English
Source (journal)
Electronic Proceedings in Theoretical Computer Science
Source (book)
Fourth Workshop on Synthesis, SYNT 2015, 18th July 2015, San Francisco, CA, USA
Publication
2016
ISSN
2075-2180
Volume/pages
202 (2016) , p. 27-57
ISI
000390259500005
Full text (Publisher's DOI)
Full text (open access)
UAntwerpen
Publication type
Subject
External links
Web of Science
Record
Identification
Creation 16.11.2018
Last edited 25.08.2021