CVC4 at SMT-COMP 2018

https://smt-comp.github.io/2018
https://cvc4.stanford.edu

Main Track

https://smt-comp.github.io/2018/results/summary-main.html

  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)
  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

https://smt-comp.github.io/2018/results/summary-app.html

  1^st place in division QF_NIA (all)
  1^st place in division QF_UFNIA (all)

Unsat Core Track

https://smt-comp.github.io/2018/results/unsat-core

  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 Scoring

  1^st place (gold) in the Main Track (all)

FLoC'18 Olympic Games

  One olympic medal
  Amazon award