SMT-COMP 2015 Results

Individual results pages can be found from this list:

• Auto-cycle through all pages
• Summary (main track, application track)
• Competition-Wide Scoring (main 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)

Last modified: Fri 30 Oct 2015 12:49 UTC