There’s 3 cuts of Superman II, in the theatrical cut (which I assume we all know was the product of a terrible mess behind the scenes) it’s ambiguous if Supes killed Zod and crew, in the other two cuts it’s clear he doesn't. In fact, he does the impossible, the miraculous, to solve the issue...