CVC4 at SMT-COMP 2016

---

SMT-COMP 2016

Tracks Entered

---

• Main Track
  Divisions:  all divisions except FP logics (38, 2 non-competitive)
  Competing Binary:  StarExec Binary
• Application Track
  Divisions:  all divisions (14, 7 non-competitive)
  Competing Binary:  StarExec Binary

Track Awards

---

Main Track

  1^st place in division ALIA (all)
  1^st place in division AUFLIA (all)
  1^st place in division LIA (all)
  1^st place in division LRA (all)
  1^st place in division QF_AUFBV (all)
  1^st place in division QF_LIA (all)
  1^st place in division QF_LRA (all)
  1^st place in division QF_NIRA (all)
  1^st place in division QF_UFNIA (parallel) (all)
  1^st place in division UF (all)
  1^st place in division UFBV (all)
  1^st place in division UFIDL (all)
  1^st place in division UFLIA (all)

Competition-Wide Awards

---

Sequential Performance

  1^st place in the Main Track

Parallel Performance

  1^st place in the Main Track