CVC4 at SMT-COMP 2017

---

SMT-COMP 2017

Competing Versions:

• GitHub Branch smtcomp2017
• GitHub Branch smtcomp2017-uc
• GitHub Branch smtcomp2017-fixed

Tracks Entered

---

• Main Track
  Divisions:  all divisions except FP logics (43, 5 non-competitive)
  Competing Binary:  StarExec Binary
• Application Track
  Divisions:  all divisions except FP logics (14, 7 non-competitive)
  Competing Binary:  StarExec Binary
• Unsat Core Track
  Divisions:  all divisions except FP logics (38, 24 non-competitive)
  Competing Binary:  StarExec Binary

Track Awards

---

Main Track

  1^st place in division ALIA (all)
  1^st place in division AUFDTLIA (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 NIA (all)
  1^st place in division QF_LIA (all)
  1^st place in division QF_LRA (all)
  1^st place in division QF_NIA (all)
  1^st place in division UFDT (all)
  1^st place in division UFIDL (all)
  1^st place in division UFLIA (all)
  1^st place in division UFLRA (all)

Application Track

  1^st place in division QF_UFLIA (all)

Unsat Core Track

  1^st place in division QF_AUFLIA (all)
  1^st place in division QF_IDL_ (all)
  1^st place in division QF_RDL (all)
  1^st place in division QF_UF (all)
  1^st place in division QF_LIRA (all)

Competition-Wide Awards

---

Sequential Performance

  1^st place in the Main Track

Parallel Performance

  1^st place in the Main Track