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

Participants

Hors Concours

Previous Winners

Division winners from 2006 automatically enter hors concours.

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 230, 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 230           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
Valid XHTML 1.0 Valid CSS!