SMT-COMP 2017 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)
- AUFDTLIA (main track)
- AUFLIA (main track,
unsat core track)
- AUFLIRA (main track, unsat core track)
- AUFNIRA (main track, unsat core track)
- BV (main track, unsat core track)
- LIA (main track, application
track, unsat core track)
- LRA (main track, unsat core track)
- NIA (main track)
- NRA (main track, unsat core track)
- QF_ABV (main track, unsat core track)
- QF_ABVFP (main 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)
- QF_BVFP (main track, unsat core track)
- QF_DT (main track)
- QF_FP (main 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_UF (main track, unsat core 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)
- 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)
- 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 21 Jul 2017 10:19 UTC
