SMT-COMP 2016 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)
• 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)

Last modified: Thu 07 Jul 2016 07:28 UTC