z3 Instances