The 2013 Evaluation of SMT-COMP and SMT-LIB

Journal of Automated Reasoning

Volumn 55, Issue 1, 2015, Pages 61-90

  Cok, David R ^a   Stump, Aaron ^b   Weber, Tjark ^c  

^a GRAMMATECH INC   (United States)

^b UNIVERSITY OF IOWA   (United States)

^c UPPSALA UNIVERSITY   (Sweden)

Author keywords

Competition; Model checking; SMT solvers; SMT COMP; SMT LIB

Indexed keywords

COMPETITION; MODEL CHECKING;

IS ASSESSMENT; SMT LIBS; SMT SOLVERS; STEERING COMMITTEE;

BENCHMARKING;

EID: 84937764791     PISSN: 01687433     EISSN: 15730670     Source Type: Journal    
DOI: 10.1007/s10817-015-9328-2     Document Type: Article

References (11)

1. Aziz, M.A.: A novel portfolio solver for satisfiability modulo theory problems (2013)
2. Aziz, M.A., Wassal, A., Darwish, N.: A machine learning technique for hardness estimation of QFBV SMT problems (work in progress). In: SMT Workshop 2012 10th International Workshop on Satisfiability Modulo Theories SMT-COMP 2012, p. 56 (2012)
3. Barrett, C., Deters, M., de Moura, L., Oliveras, A.: A stump. 6 years of SMT-COMP (2012)
4. Barrett, C., Stump, A., Tinelli, C.: The SMT-LIB standard: version 2.0. In: Gupta, A, Kroening, D. (eds.) Proceedings of the 8th International Workshop on Satisfiability Modulo Theories (Edinburgh, England) (2010)
5. Le Berre, D., Simon, L.: The essentials of the SAT 2003 competition. In: Sixth international conference on theory and applications of satisfiability testing, vol. 2919 of LNCS, pp. 452–467. Springer (2003)
6. Pelletier, F.J., Sutcliffe, G., Suttner, C.B.: The Development of CASC. AI Communications 15(2–3), 79–90 (2002)
7. Stump, A., Sutcliffe, G., Tinelli, C.: StarExec: a cross-community infrastructure for logic solving. In: Demri, S., Kapur, D., Weidenbach, C. (eds.) Proceedings of the 7th international joint conference on automated reasoning, Lecture Notes in Artificial Intelligence. Springer (2014)
8. Sutcliffe, G.: The CADE ATP System Competition Design and Organization., http://www.cs.miami.edu/tptp/CASC/24/Design.html#Evaluation
9. Federated logic conference (FLoC) olympic games. http://vsl2014.at/olympics/
10. The SMT-COMP web site provides results of the SMT competition and links to the system descriptions of the participants., http://smtcomp.org
11. StarExec web site., http://www.starexec.org