z3 comp