CVC4 at SMT-COMP 2020

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

Single Query Track

https://smt-comp.github.io/2020/results/results-single-query

  1^st place in division ABVFP (all)
  1^st place in division ABVFPLRA (all)
  1^st place in division ALIA (unsat)
  1^st place in division AUFBVDTLIA (all)
  1^st place in division AUFDTLIA (all)
  1^st place in division AUFDTLIRA (all)
  1^st place in division AUFDTNIRA (24s)
  1^st place in division AUFFPDTLIRA (all)
  1^st place in division AUFLIA (sat)
  1^st place in division AUFLIRA (sequential)
  1^st place in division AUFNIRA (sequential)
  1^st place in division BV (all)
  1^st place in division BVFP (all)
  1^st place in division BVFPLRA (all)
  1^st place in division FP (all)
  1^st place in division FPLRA (all)
  1^st place in division LIA (all)
  1^st place in division LRA (all)
  1^st place in division NIA (sequential, parallel, sat, 24s)
  1^st place in division QF_ABVFPLRA (sequential, parallel, sat, unsat)
  1^st place in division QF_ANIA (all)
  1^st place in division QF_AUFNIA (all)
  1^st place in division QF_BVFPLRA (all)
  1^st place in division QF_DT (all)
  1^st place in division QF_IDL (unsat)
  1^st place in division QF_LIA (sequential, parallel, sat)
  1^st place in division QF_NIA (sequential, parallel, sat)
  1^st place in division QF_S (all)
  1^st place in division QF_SLIA (all)
  1^st place in division QF_UFNIA (sequential, parallel, unsat, 24s)
  1^st place in division UF (unsat)
  1^st place in division UFBV (all)
  1^st place in division UFDT (sequential, parallel, sat, unsat)
  1^st place in division UFDTLIA (sequential, parallel, unsat)
  1^st place in division UFDTLIRA (sequential, parallel, sat, 24s)
  1^st place in division UFDTNIRA (sequential, 24s)
  1^st place in division UFFPDTLIRA (all)
  1^st place in division UFFPDTNIRA (all)
  1^st place in division UFIDL (all)
  1^st place in division UFLIA (sequential, parallel, unsat, 24s)
  1^st place in division UFNIA (all)

Incremental Track

https://smt-comp.github.io/2020/results/results-incremental

  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 BVFP (all)
  1^st place in division LRA (all)
  1^st place in division QF_FP (all)
  1^st place in division QF_NIA (all)
  1^st place in division QF_UFNIA (all)
  1^st place in division UF (all)
  1^st place in division UFLRA (all)
  1^st place in division UFNIA (all)
  1^st place in division UFNRA (all)

Model Validation Track

https://smt-comp.github.io/2020/results/results-model-validation

  1^st place in division QF_LIA (all)

Unsat Core Track

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

  1^st place in division AUFBVDTLIA (all)
  1^st place in division AUFDTLIRA (all)
  1^st place in division AUFDTNIRA (all)
  1^st place in division AUFFPDTLIRA (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 QF_ALIA (all)
  1^st place in division QF_AUFLIA (all)
  1^st place in division QF_UFLRA (all)
  1^st place in division UF (all)
  1^st place in division UFDT (all)
  1^st place in division UFDTLIRA (all)
  1^st place in division UFDTNIRA (all)
  1^st place in division UFFPDTLIRA (all)
  1^st place in division UFFPDTNIRA (all)
  1^st place in division UFIDL (all)
  1^st place in division UFLIA (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 (sequential, parallel, sat)
  1^st place (gold) in the Incremental Track (all)
  1^st place (gold) in the Unsat Core Track (all)