z3 Instances

Every z3 machine, grouped by type.