Participants

• Ario 1.2 website, description, download
  Divisions: QF_UF, QF_RDL, QF_IDL, QF_UFIDL, QF_LIA, QF_UFLIA
• Barcelogic 1.1 website, description, download
  Divisions: QF_UF, QF_RDL, QF_IDL, QF_UFIDL, QF_AUFLIA
• CVC website, description, download
  Divisions: QF_UF, QF_LRA, QF_AUFLIA
• CVC3 website, description, download
  Divisions: all
• ExtSAT website, description, download
  Divisions: QF_RDL, QF_IDL, QF_LRA, QF_LIA
• HTP website, description, download
  Divisions: QF_UF, QF_IDL, QF_RDL, QF_LRA, QF_LIA, QF_UFLIA
• Jat description download
  Divisions: QF_RDL
• MathSAT 3.4 website, description, download
  Divisions: QF_UF, QF_RDL, QF_IDL, QF_UFIDL, QF_LRA, QF_LIA, QF_UFLIA, QF_UFBV32
• NuSMV website, description, download
  Divisions: QF_UFBV32
• Sateen description, download
  Divisions: QF_IDL
• STP description, download
  Divisions: QF_UFBV32
• Yices 1.0 website, description, download
  Divisions: all

Previous Winners

As suggested in PDPAR'05, the winners from 2005 will automatically enter.

• Barcelogic 1.0: QF_UF, QF_RDL, QF_IDL, QF_UFIDL.
• Simplics: QF_LRA
• Yices 0.1: QF_LIA, QF_AUFLIA

Hors-concours

Solvers submitted after the submission deadline. They will not participate in the competition, but we will post their results on the website.

• Bat description download
  Divisions: QF_UFBV32

Magic numbers

   extsat  : 1235230984501
   sateen  : 12
   mathsat : 54507995
   nusmv   : 16052002
   bclt    : 34235234
   jat     : 1
   stp     : 6503879950
   ario    : 2393809
   htp     : 1929

Composite random seed

    107190980

Last modified: Tue 17 Feb 2015 15:01 UTC