Journal article
The Second Reactive Synthesis Competition (SYNTCOMP 2015)
- 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.
- Publication status:
- Published
- Peer review status:
- Peer reviewed
Actions
Access Document
- Files:
-
-
(Preview, Version of record, pdf, 1.8MB, Terms of use)
-
- Publisher copy:
- 10.4204/EPTCS.202.4
Authors
- Publisher:
- Open Publishing Association
- Journal:
- EPTCS 202, 2016, pp. 27-57 More from this journal
- Publication date:
- 2016-02-02
- DOI:
- Keywords:
- Pubs id:
-
pubs:599130
- UUID:
-
uuid:0fae219f-633e-4960-b82f-99feabdc6347
- Local pid:
-
pubs:599130
- Source identifiers:
-
599130
- Deposit date:
-
2016-02-26
- ARK identifier:
Terms of use
- Copyright holder:
- Jacobs et al
- Copyright date:
- 2016
- Notes:
- © S. Jacobs et al. This work is licensed under the Creative Commons Attribution License.
- Licence:
- CC Attribution (CC BY)
If you are the owner of this record, you can report an update to it here: Report update to this record