CVC4 at SMT-COMP 2019

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

Single Query Track

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

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 (sequential, 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 (sequential, parallel, unsat)
1^st place in division QF_DT (all)
1^st place in division QF_UFNIA (all)
1^st place in division UF (sequential)
1^st place in division UFDT (sequential, parallel, sat, unsat)
1^st place in division UFDTLIA (sequential, parallel, unsat)

Incremental Track

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

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

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

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 (sequential, parallel)
1^st place (gold) in the Incremental Track (all)
1^st place (gold) in the Unsat Core Track (all)

Mathias Preiner

Contact