Sr. Research Scientist, Computer Science
Stanford University

Contact

389 Jane Stanford Way,
Stanford, CA, 94305, United States

           

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

  1st place in division ALIA (all)
  1st place in division AUFDTLIA (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 LRA (all)
  1st place in division NIA (all)
  1st place in division QF_ABVFP (all)
  1st place in division QF_AUFBV (all)
  1st place in division QF_BVFP (all)
  1st place in division QF_LRA (all)
  1st place in division QF_NIA (all)
  1st place in division UF (sequential)
  1st place in division UFDT (all)
  1st place in division UFDTLIA (all)
  1st place in division UFIDL (all)
  1st place in division UFLIA (all)
  1st place in division UFLRA (all)

Application Track

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

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

Unsat Core Track

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

  1st place in division QF_AUFLIA (all)
  1st place in division QF_IDL (all)
  1st place in division QF_LIRA (all)
  1st place in division QF_RDL (all)
  1st place in division QF_UF (all)

Competition-Wide Scoring

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

FLoC'18 Olympic Games

  One olympic medal
  Amazon award