Search: onr:"swepub:oai:DiVA.org:uu-529518" >
The 2013 SMT Evalua...
The 2013 SMT Evaluation
Publisher, publication year, extent ...
-
Department of Information Technology, Uppsala University,2014
-
electronicrdacarrier
Numbers
-
LIBRIS-ID:oai:DiVA.org:uu-529518
-
https://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-529518URI
Supplementary language notes
-
Language:English
-
Summary in:English
Part of subdatabase
Classification
-
Subject category:vet swepub-contenttype
-
Subject category:rap swepub-publicationtype
Series
-
Technical report / Department of Information Technology, Uppsala University,1404-3203 ;2014-017
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.
Added entries (persons, corporate bodies, meetings, titles ...)
-
Stump, Aaron
(author)
-
Weber, Tjark
(author)
Internet link
To the university's database