Our SMT solvers have participated in the SMT-COMP competitions
associated with CAV.
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!
Yices 1.0 took first place in all eleven divisions (jointly for
two of them) of SMT-COMP'06.
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: Thu 10 Dec 2009 10:44 PST