SMT-COMP 2018 Results

Individual results pages can be found from this list:

• Auto-cycle through all pages
• 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)

Last modified: Fri 13 Jul 2018 00:05 UTC