Z3LART in the wild