CVC4 at SMT-COMP 2019

---

SMT-COMP 2019

Competing Version:  GitHub Branch smtcomp2019
System Description:  CVC4 at the SMT-COMP 2019

Tracks Entered

---

• Single Query Track
  Divisions:  all divisions (51)
  Competing Binary:  StarExec Binary
• Incremental Track
  Divisions:  all divisions (24)
  Competing Binary:  StarExec Binary
• Challenge Track (non-incremental)
  Divisions:  all divisions (3)
  Competing Binary:  StarExec Binary
• Challenge Track (incremental)
  Divisions:  all divisions (3)
  Competing Binary:  StarExec Binary
• Unsat Core Track
  Divisions:  all divisions (33)
  Competing Binary:  StarExec Binary
• Model Validation Track
  Divisions:  all divisions (1)
  Competing Binary:  StarExec Binary

Track Awards

---

Single Query Track

  1^st place in division ABVFP (all)
  1^st place in division ALIA (24s) (all)
  1^st place in division AUFDTLIA (all)
  1^st place in division AUFLIA (sequential, sat) (all)
  1^st place in division BVFP (all)
  1^st place in division FP (all)
  1^st place in division LIA (all)
  1^st place in division NIA (all)
  1^st place in division QF_ANIA (sequential, parallel, unsat) (all)
  1^st place in division QF_DT (all)
  1^st place in division QF_UFNIA (all)
  1^st place in division UF (sequential) (all)
  1^st place in division UFDT (sequential, parallel, sat, unsat) (all)
  1^st place in division UFDTLIA (sequential, parallel, unsat) (all)

Incremental Track

  1^st place in division ABVFP (all)
  1^st place in division ALIA (all)
  1^st place in division ANIA (all)
  1^st place in division AUFNIRA (all)
  1^st place in division BV (all)
  1^st place in division QF_ANIA (all)
  1^st place in division UFLRA (all)

Unsat Core Track

  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 QF_ANIA (all)
  1^st place in division QF_AUFLIA (all)
  1^st place in division QF_NRA (all)
  1^st place in division QF_UFLRA (all)
  1^st place in division UF (all)
  1^st place in division UFIDL (all)
  1^st place in division UFLIA (all)
  1^st place in division UFLRA (all)
  1^st place in division UFNIA (all)

Competition-Wide Awards

---

Biggest Lead

  1^st place in the Single Query Track (sequential, parallel, sat, unsat, 24s)
  1^st place in the Incremental Track
  1^st place in the Unsat Core Track (sequential, parallel)

Largest Contribution

  1^st place in the Single Query Track (sequential, parallel, sat)
  1^st place in the Incremental Track
  1^st place in the Unsat Core Track (sequential, parallel)