Home	•	Intro	•	Rules	•	Participants	•	Results	•	Tools	•	Specs	•	Thanks	•	SMT-LIB	•	Previous

Participants

ArgoLib v3.5 [ website | description | download ]
Divisions: QF_RDL, QF_LRA
Barcelogic 1.2 [ website | description | download ]
Divisions: QF_UF, QF_RDL, QF_IDL, QF_UFIDL, QF_UFLIA, QF_LRA, QF_LIA
CVC3 1.2 [ website | description | download ]
Divisions: QF_UF, QF_UFLIA, QF_LRA, QF_LIA, QF_AUFLIA, AUFLIA, AUFLIRA
Fx7 [ website | description | download ]
Divisions: AUFLIA
MathSAT 4.0 [ website | description | download ]
Divisions: QF_UF, QF_RDL, QF_IDL, QF_UFIDL, QF_UFLIA, QF_LRA, QF_LIA
Sateen [ description | download ]
Divisions: QF_IDL
Spear v1.9 [ website | description | download ]
Divisions: QF_BV
Yices 1.0.10 [ website | description | download ]
Divisions: all
Z3 0.1 [ website | description | download ]
Divisions: all

Hors Concours

CVC3 1.2 (patched) [ website | description | download ]
Divisions: QF_LRA
Spear v1.9 (alternate command line) [ website | description | download ]
Divisions: QF_BV
Z3 0.1 (fixed BV) [ website | description | download ]
Divisions: QF_BV, QF_AUFBV

Previous Winners

Division winners from 2006 automatically enter hors concours.

QF_UF: Yices 1.0
QF_RDL: Yices 1.0
QF_IDL: Yices 1.0
QF_UFIDL: Yices 1.0
QF_UFLIA: Yices 1.0
QF_LRA: Yices 1.0
QF_LIA: Yices 1.0
QF_AUFLIA: Yices 1.0
AUFLIA: Yices 1.0
AUFLIRA: CVC3, Yices 1.0 (tie score & time)

These previous winners are downloadable from the SMT-COMP'06 site.

Random Seed

In accordance with the rules, the benchmark selection program seeds a PRNG with “the sum, modulo 2³⁰, of the numbers provided...by all SMT-COMP entrants other than the organizers.” (Numbers provided by hors concours entries are not used.)

ArgoLib v3.5       63432546    
Barcelogic 1.2      2309847  (competition organizer submission)
CVC3 1.2            4261980  (competition organizer submission)
Fx7                      42    
MathSAT 4.0        54507995    
Sateen                21223    
Spear v1.9       1548658345    
Yices 1.0.10        7952367    
Z3 0.1                    1    
===========================
total            1674572519  (ignoring organizer submissions)
mod 2³⁰           600830695  (random seed for competition)

Home	•	Intro	•	Rules	•	Participants	•	Results	•	Tools	•	Specs	•	Thanks	•	SMT-LIB	•	Previous

Last modified: Tue 17 Feb 2015 14:58 UTC