add result of Z3 for zankl family