WFRF:(Weber Tjark)
Search: WFRF:(Weber Tjark) > The 2013 Evaluation...
- 6 of 23
- Previous record
- Next record
- To hitlist
- Cok, David R. (author)
The 2013 Evaluation of SMT-COMP and SMT-LIB
- Article/chapterEnglish2015
Publisher, publication year, extent ...
- 2015-05-07
- Springer Science and Business Media LLC,2015
- printrdacarrier
Numbers
- LIBRIS-ID:oai:DiVA.org:uu-256119
- https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-256119URI
- https://doi.org/10.1007/s10817-015-9328-2DOI
Supplementary language notes
- Language:English
- Summary in:English
Part of subdatabase
- SwePubSwePub
Classification
Notes
- After 8 years of SMT Competitions, the SMT Steering Committee decided, for 2013, to sponsor an evaluation of the status of SMT benchmarks and solvers, rather than another competition. This report summarizes the results of the evaluation, conducted by the authors. The key observations are that (1) the competition results are quite sensitive to randomness and (2) the most significant need for the future is assessment and improvement of benchmarks in the light of SMT applications. The evaluation also measured competitiveness of solvers, general coverage of solvers, logics, and benchmarks, and degree of repeatability of measurements and competitions.
Subject headings and genre
Added entries (persons, corporate bodies, meetings, titles ...)
- Stump, Aaron (author)
- Weber, TjarkUppsala universitet,Datalogi(Swepub:uu)tjawe125 (author)
- Uppsala universitetDatalogi (creator_code:org_t)
Related titles
- In:Journal of automated reasoning: Springer Science and Business Media LLC55:1, s. 61-900168-74331573-0670
Internet link
Find in a library
- Journal of automated reasoning (Search for host publication in LIBRIS)
To the university's database
- 6 of 23
- Previous record
- Next record
- To hitlist
Find more in SwePub
- By the author/editor
- Cok, David R.
- Stump, Aaron
- Weber, Tjark
- About the subject
-
- NATURAL SCIENCES
- NATURAL SCIENCES
- and Computer and Inf ...
- and Computer Science ...
- Articles in the publication
- Journal of autom ...
- By the university
- Uppsala University
Search outside SwePub
- Extend your search to:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - National Library Systems
- LIBRIS.kb.se
