CVC4 at SMT-COMP 2019

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

Single Query Track

Results: https://smt-comp.github.io/2019/results/results-single-query
Awards: sequential (seq), parallell (par), sat, unsat, 24s

  1^st place in division ABVFP (all)
  1^st place in division ALIA (24s)
  1^st place in division AUFDTLIA (all)
  1^st place in division AUFLIA (seq, sat)
  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 (seq, par, unsat)
  1^st place in division QF_DT (all)
  1^st place in division QF_UFNIA (all)
  1^st place in division UF (seq)
  1^st place in division UFDT (seq, par, sat, unsat)
  1^st place in division UFDTLIA (seq, par, unsat)

Incremental Track

Results: https://smt-comp.github.io/2019/results/results-incremental
Awards: parallell (par)

  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

Results: https://smt-comp.github.io/2019/results/results-unsat-core
Awards: sequential (seq), parallell (par)

  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)

Biggest Lead

  1^st place (gold) in the Single Query Track (all)
  1^st place (gold) in the Incremental Track (all)
  1^st place (gold) in the Unsat Core Track (all)

Largest Contribution

  1^st place (gold) in the Single Query Track (seq, par)
  1^st place (gold) in the Incremental Track (all)
  1^st place (gold) in the Unsat Core Track (all)