SMT-COMP 2012 Results

NOTE: SMT-COMP 2012 was divided into four tracks: Main Track (competitive), Application Track (competitive), Unsat Core Track (non-competitive), Exhibition Track (non-competitive). Unfortunately, results data for all tracks but the Main Track is lost.

Individual results pages can be found from this list:

• Summary (Main Track)

• AUFLIA-p (Main Track)
• AUFLIA+p (Main Track)
• AUFNIRA (Main Track)
• QF_AUFBV (Main Track)
• QF_BV (Main Track)
• QF_IDL (Main Track)
• QF_UFLIA (Main Track)
• QF_UFLRA (Main Track)