Aina Niemetz

Sr. Research Scientist, Computer Science
Stanford University

           

Publications
Talks
Tools
Awards

Boolector at SMT-COMP 2015

http://smt-comp.github.io/2015
https://boolector.github.io

Main Track

Results: https://smt-comp.github.io/2015/results/summary.html
Awards: sequential, sequential [industrial], parallell, parallell [industrial]

  1st place in division QF_ABV (all)
  1st place in division QF_BV (all)
  1st place in division QF_UFBV (all)