SMT-COMP 2018 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, Unsat Core Track)

• AUFDTLIA (Main Track)

• AUFLIA (Main Track, Unsat Core Track)

• AUFLIRA (Main Track, Unsat Core Track)

• AUFNIRA (Main Track, Application Track, Unsat Core Track)

• BV (Main Track, Application Track, Unsat Core Track)

• BVFP (Main Track)

• FP (Main Track)

• LIA (Main Track, Application Track, Unsat Core Track)

• LRA (Main Track, Unsat Core Track)

• NIA (Main Track, Unsat Core Track)

• NRA (Main Track, Unsat Core Track)

• QF_ABV (Main Track, Application Track, Unsat Core Track)

• QF_ABVFP (Main Track, Unsat Core Track)

• QF_ALIA (Main Track, Application Track, Unsat Core Track)

• QF_ANIA (Main Track, Application Track, Unsat Core Track)

• QF_AUFBV (Main Track, Application 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, Application Track, Unsat Core Track)

• QF_DT (Main Track, Unsat Core Track)

• QF_FP (Main Track, Application 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_SLIA (Main Track)

• QF_UF (Main Track, Unsat Core Track)

• QF_UFBV (Main Track, Application 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, Unsat Core 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)