CVC4 at SMT-COMP 2020
https://smt-comp.github.io/2020
https://cvc4.stanford.edu
Single Query Track
Results:
https://smt-comp.github.io/2020/results/results-single-query
Awards: sequential (seq), parallell (par), sat, unsat, 24s
1st place in division ABVFP (all)
1st place in division ABVFPLRA (all)
1st place in division ALIA (unsat)
1st place in division AUFBVDTLIA (all)
1st place in division AUFDTLIA (all)
1st place in division AUFDTLIRA (all)
1st place in division AUFDTNIRA (24s)
1st place in division AUFFPDTLIRA (all)
1st place in division AUFLIA (sat)
1st place in division AUFLIRA (seq)
1st place in division AUFNIRA (seq)
1st place in division BV (all)
1st place in division BVFP (all)
1st place in division BVFPLRA (all)
1st place in division FP (all)
1st place in division FPLRA (all)
1st place in division LIA (all)
1st place in division LRA (all)
1st place in division NIA (seq, par, sat, 24s)
1st place in division QF_ABVFPLRA (seq, par, sat, unsat)
1st place in division QF_ANIA (all)
1st place in division QF_AUFNIA (all)
1st place in division QF_BVFPLRA (all)
1st place in division QF_DT (all)
1st place in division QF_IDL (unsat)
1st place in division QF_LIA (seq, par, sat)
1st place in division QF_NIA (seq, par, sat)
1st place in division QF_S (all)
1st place in division QF_SLIA (all)
1st place in division QF_UFNIA (seq, par, unsat, 24s)
1st place in division UF (unsat)
1st place in division UFBV (all)
1st place in division UFDT (seq, par, sat, unsat)
1st place in division UFDTLIA (seq, par, unsat)
1st place in division UFDTLIRA (seq, par, sat, 24s)
1st place in division UFDTNIRA (seq, 24s)
1st place in division UFFPDTLIRA (all)
1st place in division UFFPDTNIRA (all)
1st place in division UFIDL (all)
1st place in division UFLIA (seq, par, unsat, 24s)
1st place in division UFNIA (all)
Incremental Track
Results:
https://smt-comp.github.io/2020/results/results-incremental
Awards: parallell (par)
1st place in division ANIA (all)
1st place in division AUFNIRA (all)
1st place in division BV (all)
1st place in division BVFP (all)
1st place in division LRA (all)
1st place in division QF_FP (all)
1st place in division QF_NIA (all)
1st place in division QF_UFNIA (all)
1st place in division UF (all)
1st place in division UFLRA (all)
1st place in division UFNIA (all)
1st place in division UFNRA (all)
Model Validation Track
Results:
https://smt-comp.github.io/2020/results/results-model-validation
Awards: sequential (seq), parallell (par)
1st place in division QF_LIA (all)
Unsat Core Track
Results:
https://smt-comp.github.io/2020/results/results-unsat-core
Awards: sequential (seq), parallell (par)
1st place in division AUFBVDTLIA (all)
1st place in division AUFDTLIRA (all)
1st place in division AUFDTNIRA (all)
1st place in division AUFFPDTLIRA (all)
1st place in division AUFLIA (all)
1st place in division AUFLIRA (all)
1st place in division AUFNIRA (all)
1st place in division BV (all)
1st place in division LIA (all)
1st place in division QF_ALIA (all)
1st place in division QF_AUFLIA (all)
1st place in division QF_UFLRA (all)
1st place in division UF (all)
1st place in division UFDT (all)
1st place in division UFDTLIRA (all)
1st place in division UFDTNIRA (all)
1st place in division UFFPDTLIRA (all)
1st place in division UFFPDTNIRA (all)
1st place in division UFIDL (all)
1st place in division UFLIA (all)
1st place in division UFNIA (all)
Biggest Lead
1st place (gold) in the Single Query Track (all)
1st place (gold) in the Incremental Track (all)
1st place (gold) in the Unsat Core Track (all)
Largest Contribution
1st place (gold) in the Single Query Track (seq, par, sat)
1st place (gold) in the Incremental Track (all)
1st place (gold) in the Unsat Core Track (all)