CVC4 at SMT-COMP 2018

---

SMT-COMP 2018

Competing Version:  GitHub Branch smtcomp2018
System Description:  CVC4 at the SMT-COMP 2018

Tracks Entered

---

• Main Track
  Divisions:  all divisions (50)
  Competing Binary:  StarExec Binary
• Application Track
  Divisions:  all divisions (21)
  Competing Binary:  StarExec Binary
• Unsat Core Track
  Divisions:  all divisions (44)
  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 AUFLIRA (all)
  1^st place in division AUFNIRA (all)
  1^st place in division BV (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_ABVFP (all)
  1^st place in division QF_AUFBV (all)
  1^st place in division QF_BVFP (all)
  1^st place in division QF_LRA (all)
  1^st place in division QF_NIA (all)
  1^st place in division UF (sequential) (all)
  1^st place in division UFDT (all)
  1^st place in division UFDTLIA (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_NIA (all)
  1^st place in division QF_UFNIA (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_LIRA (all)
  1^st place in division QF_RDL (all)
  1^st place in division QF_UF (all)

Competition-Wide Awards

---

Competition-Wide Scoring

  1^st place in the Main Track

FLoC'18 Olympic Games

  One olympic medal
  Amazon award