SMT-COMP 2017 Results

Individual results pages can be found from this list:

• Summary (Main track, Application track, Unsat-Core track)

• Competition-Wide Scoring (Main track)

• ABVFP (Main track)

• ALIA (Main track, Application track, Unsat-Core track)

• ANIA (Application track)

• AUFBVDTLIA (Main track)

• AUFDTLIA (Main track)

• AUFLIA (Main track, Unsat-Core track)

• AUFLIRA (Main track, Unsat-Core track)

• AUFNIRA (Main track, Unsat-Core track)

• BV (Main track, Unsat-Core track)

• LIA (Main track, Application track, Unsat-Core track)

• LRA (Main track, Unsat-Core track)

• NIA (Main track)

• NRA (Main track, Unsat-Core track)

• QF_ABV (Main track, Unsat-Core track)

• QF_ABVFP (Main track)

• QF_ALIA (Main track, Application track, Unsat-Core track)

• QF_ANIA (Main track, Application track, Unsat-Core track)

• QF_AUFBV (Main track, Unsat-Core track)

• QF_AUFLIA (Main track, Application track, Unsat-Core track)

• QF_AUFNIA (Main track, Unsat-Core track)

• QF_AX (Main track, Unsat-Core track)

• QF_BV (Main track, Application track, Unsat-Core track)

• QF_BVFP (Main track, Unsat-Core track)

• QF_DT (Main track)

• QF_FP (Main track, Unsat-Core track)

• QF_IDL (Main track, Unsat-Core track)

• QF_LIA (Main track, Application track, Unsat-Core track)

• QF_LIRA (Main track, Unsat-Core track)

• QF_LRA (Main track, Application track, Unsat-Core track)

• QF_NIA (Main track, Application track, Unsat-Core track)

• QF_NIRA (Main track, Unsat-Core track)

• QF_NRA (Main track, Unsat-Core track)

• QF_RDL (Main track, Unsat-Core track)

• QF_UF (Main track, Unsat-Core track)

• QF_UFBV (Main track, Unsat-Core track)

• QF_UFIDL (Main track, Unsat-Core track)

• QF_UFLIA (Main track, Application track, Unsat-Core track)

• QF_UFLRA (Main track, Application track, Unsat-Core track)

• QF_UFNIA (Main track, Application track, Unsat-Core track)

• QF_UFNRA (Main track, Unsat-Core track)

• UF (Main track, Unsat-Core track)

• UFBV (Main track, Unsat-Core track)

• UFDT (Main track)

• UFDTLIA (Main track)

• UFIDL (Main track, Unsat-Core track)

• UFLIA (Main track, Unsat-Core track)

• UFLRA (Main track, Application track, Unsat-Core track)

• UFNIA (Main track, Unsat-Core track)