SMT-COMP 2016 Results

Individual results pages can be found from this list:

• Summary (Main Track, Application Track, Unsat Core Track, Unknown Benchmarks Track)

• Competition-Wide Scoring (Main Track)

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

• ANIA (Application Track)

• AUFLIA (Main Track, Unsat Core Track)

• AUFLIRA (Main Track, Unsat Core Track, Unknown Benchmarks Track )

• AUFNIRA (Main Track, Unsat Core Track, Unknown Benchmarks Track)

• BV (Main Track, Unsat Core Track, Unknown Benchmarks Track)

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

• LRA (Main Track, Unsat Core Track, Unknown Benchmarks Track)

• NIA (Main Track, Unknown Benchmarks Track)

• NRA (Main Track, Unsat Core Track, Unknown Benchmarks Track)

• QF_ABV (Main Track, Unsat Core Track, Unknown Benchmarks 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, Unknown Benchmarks Track)

• QF_BVFP (Main Track, Unsat Core Track)

• QF_FP (Main Track, Unsat Core Track, Unknown Benchmarks Track)

• QF_IDL (Main Track, Unsat Core Track, Unknown Benchmarks Track)

• QF_LIA (Main Track,Application Track, Unsat Core Track, Unknown Benchmarks Track)

• QF_LIRA (Main Track, Unsat Core Track, Unknown Benchmarks Track)

• QF_LRA (Main Track,Application Track, Unsat Core Track, Unknown Benchmarks Track)

• QF_NIA (Main Track,Application Track, Unsat Core Track, Unknown Benchmarks Track)

• QF_NIRA (Main Track, Unsat Core Track, Unknown Benchmarks Track)

• QF_NRA (Main Track, Unsat Core Track, Unknown Benchmarks Track)

• QF_RDL (Main Track, Unsat Core Track, Unknown Benchmarks Track)

• QF_UF (Main Track, Unsat Core Track, Unknown Benchmarks 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, Unknown Benchmarks Track)

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

• QF_UFNRA (Main Track, Unsat Core Track, Unknown Benchmarks Track)

• UF (Main Track, Unsat Core Track, Unknown Benchmarks Track)

• UFBV (Main Track, Unsat Core Track, Unknown Benchmarks Track)

• UFIDL (Main Track, Unsat Core Track, Unknown Benchmarks Track)

• UFLIA (Main Track, Unsat Core Track, Unknown Benchmarks Track)

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

• UFNIA (Main Track, Unsat Core Track, Unknown Benchmarks Track)