Z3 Microsoft Research
Awards

Z3 participated in the SMT-COMP'11 competition associated with CAV. Z3 did very well, it took first place in most divisions.

Z3 participated in the SMT-COMP'08 competition associated with CAV. Z3 did very well, it took 9 first places and 6 second places.

It also participated in the SMT-COMP'07 competition associated with CAV, where it took 4 first places and 7 second places.

Last modified Fri Oct 5 2012 11:32:37