Awards
Our SMT solvers have participated in the SMT-COMP competitions
associated with CAV.
SMT-COMP 2007
Yices 1.0.10 took first place in seven of the twelve divisions of
SMT-COMP'07, and second place in
three more. Unlike some of the other systems, it was largely
unchanged from last year. Watch out for Yices 2 in 2008!
SMT-COMP 2006
Yices 1.0 took first place in all eleven divisions (jointly for
two of them) of SMT-COMP'06.
SMT-COMP 2005
Yices 0.1 and Simplics were the prototypes for Yices 1.0
- Yices 0.1 got the first place in the QF_LIA (linear integer arithmetic) and QF_AUFLIA
(arrays, uninterpreted functions, and linear integer arithmetic) divisions, and the second place in all other divisions in SMT-COMP'05.
- Simplics got the first place in the QF_LRA (linear real arithmetic) division in SMT-COMP'05.
Last modified: Wed 31 Oct 2007 13:03 PDT