|
|
|---|
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.