SMT-COMP 2019 Results

Competition-Wide Recognitions

Largest Contribution Ranking

• Challenge Track (incremental)
• Challenge Track (non-incremental)
• Incremental Track
• Model Validation Track (experimental)
• Single Query Track
• Unsat Core Track

Biggest Lead Ranking

• Challenge Track (incremental)
• Challenge Track (non-incremental)
• Incremental Track
• Model Validation Track (experimental)
• Single Query Track
• Unsat Core Track

Tracks Summary

• Challenge Track (incremental)
• Challenge Track (non-incremental)
• Incremental Track
• Model Validation Track (experimental)
• Single Query Track
• Unsat Core Track

Divisions

• ABVFP
• Incremental Track
• Single Query Track
• ALIA
• Incremental Track
• Single Query Track
• ANIA
• Incremental Track
• AUFDTLIA
• Single Query Track
• AUFLIA
• Single Query Track
• Unsat Core Track
• AUFLIRA
• Single Query Track
• Unsat Core Track
• AUFNIA
• Single Query Track
• Unsat Core Track
• AUFNIRA
• Incremental Track
• Single Query Track
• Unsat Core Track
• BV
• Incremental Track
• Single Query Track
• Unsat Core Track
• BVFP
• Incremental Track
• Single Query Track
• FP
• Single Query Track
• LIA
• Incremental Track
• Single Query Track
• Unsat Core Track
• LRA
• Incremental Track
• Single Query Track
• NIA
• Single Query Track
• Unsat Core Track
• NRA
• Single Query Track
• QF_ABV
• Challenge Track (incremental)
• Challenge Track (non-incremental)
• Incremental Track
• Single Query Track
• Unsat Core Track
• QF_ALIA
• Incremental Track
• Single Query Track
• Unsat Core Track
• QF_ANIA
• Incremental Track
• Single Query Track
• Unsat Core Track
• QF_AUFBV
• Challenge Track (incremental)
• Challenge Track (non-incremental)
• Incremental Track
• Single Query Track
• Unsat Core Track
• QF_AUFBVNIA
• Incremental Track
• QF_AUFLIA
• Incremental Track
• Single Query Track
• Unsat Core Track
• QF_AUFNIA
• Single Query Track
• Unsat Core Track
• QF_AX
• Single Query Track
• Unsat Core Track
• QF_BV
• Challenge Track (incremental)
• Challenge Track (non-incremental)
• Incremental Track
• Model Validation Track (experimental)
• Single Query Track
• Unsat Core Track
• QF_BVFP
• Single Query Track
• QF_DT
• Single Query Track
• QF_FP
• Single Query Track
• QF_IDL
• Single Query Track
• QF_LIA
• Incremental Track
• Single Query Track
• Unsat Core Track
• QF_LIRA
• Single Query Track
• Unsat Core Track
• QF_LRA
• Incremental Track
• Single Query Track
• Unsat Core Track
• QF_NIA
• Incremental Track
• Single Query Track
• Unsat Core Track
• QF_NIRA
• Single Query Track
• Unsat Core Track
• QF_NRA
• Single Query Track
• Unsat Core Track
• QF_RDL
• Single Query Track
• QF_S
• Single Query Track
• QF_SLIA
• Single Query Track
• QF_UF
• Incremental Track
• Single Query Track
• Unsat Core Track
• QF_UFBV
• Incremental Track
• Single Query Track
• Unsat Core Track
• QF_UFIDL
• Single Query Track
• Unsat Core Track
• QF_UFLIA
• Incremental Track
• Single Query Track
• Unsat Core Track
• QF_UFLRA
• Incremental Track
• Single Query Track
• Unsat Core Track
• QF_UFNIA
• Incremental Track
• Single Query Track
• Unsat Core Track
• QF_UFNRA
• Single Query Track
• Unsat Core Track
• UF
• Single Query Track
• Unsat Core Track
• UFBV
• Single Query Track
• UFDT
• Single Query Track
• UFDTLIA
• Single Query Track
• UFDTNIA
• Single Query Track
• UFIDL
• Single Query Track
• Unsat Core Track
• UFLIA
• Single Query Track
• Unsat Core Track
• UFLRA
• Incremental Track
• Single Query Track
• Unsat Core Track
• UFNIA
• Single Query Track
• Unsat Core Track