Sökning: onr:"swepub:oai:DiVA.org:uu-256119" >
The 2013 Evaluation...
-
Cok, David R.
(författare)
The 2013 Evaluation of SMT-COMP and SMT-LIB
- Artikel/kapitelEngelska2015
Förlag, utgivningsår, omfång ...
-
2015-05-07
-
Springer Science and Business Media LLC,2015
-
printrdacarrier
Nummerbeteckningar
-
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
Kompletterande språkuppgifter
-
Språk:engelska
-
Sammanfattning på:engelska
Ingår i deldatabas
Klassifikation
-
Ämneskategori:ref swepub-contenttype
-
Ämneskategori:art swepub-publicationtype
Anmärkningar
-
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.
Ämnesord och genrebeteckningar
Biuppslag (personer, institutioner, konferenser, titlar ...)
-
Stump, Aaron
(författare)
-
Weber, TjarkUppsala universitet,Datalogi(Swepub:uu)tjawe125
(författare)
-
Uppsala universitetDatalogi
(creator_code:org_t)
Sammanhörande titlar
-
Ingår i:Journal of automated reasoning: Springer Science and Business Media LLC55:1, s. 61-900168-74331573-0670
Internetlänk
Hitta via bibliotek
Till lärosätets databas