SMT-COMP 2015 Results

Individual results pages can be found from this list:

• Summary (Main Track, Application Track)

• Competition-Wide Scoring (Main Track, Application Track)

• ALIA (Main Track, Application Track)

• ANIA (Application Track)

• AUFLIA (Main Track)

• AUFLIRA (Main Track)

• AUFNIRA (Main Track)

• BV (Main Track)

• LIA (Main Track, Application Track)

• LRA (Main Track)
• NIA (Main Track)
• NRA (Main Track)

• QF_ABV (Main Track)

• QF_ALIA (Main Track, Application Track)

• QF_ANIA (Main Track, Application Track)

• QF_AUFBV (Main Track)

• QF_AUFLIA (Main Track, Application Track)

• QF_AUFNIA (Main Track)

• QF_AX (Main Track)

• QF_BV (Main Track, Application Track)

• QF_BVFP (Main Track)

• QF_FP (Main Track)

• QF_IDL (Main Track)

• QF_LIA (Main Track, Application Track)

• QF_LIRA (Main Track)

• QF_LRA (Main Track, Application Track)

• QF_NIA (Main Track, Application Track)

• QF_NIRA (Main Track)

• QF_NRA (Main Track)

• QF_RDL (Main Track)

• QF_UF (Main Track)

• QF_UFBV (Main Track)

• QF_UFIDL (Main Track)

• QF_UFLIA (Main Track, Application Track)

• QF_UFLRA (Main Track, Application Track)

• QF_UFNIA (Main Track, Application Track)

• QF_UFNRA (Main Track)

• UF (Main Track)

• UFBV (Main Track)

• UFIDL (Main Track)

• UFLIA (Main Track)

• UFLRA (Main Track, Application Track)

• UFNIA (Main Track)