Aina Niemetz

Sr. Research Scientist, Computer Science
Stanford University

Publications
Talks
Tools
Awards

Boolector at SMT-COMP 2017

https://smt-comp.github.io/2017
https://boolector.github.io

Main Track

Results: https://smt-comp.github.io/2017/results/summary-main.html
Awards: sequential (seq), parallell (par)

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