I don't know what the context of those examples are, so I can't judge them,
Yes, given the content of all media for any and all audiences during Superman's 82-year history, he has killed.
The thing to remember is that older people grew up with a Superman who did not kill, or only under exceptionally weird or unusual circumstances, and in some of those cases the intent and/or outcome was questionable.
Because popular media is what it is, younger people have probably seen Superman kill more often than he used to.
Regardless of age, people naturally are exposed to a limited subset of all Superman stories ever told. Maybe they were only exposed to stories about a Superman who doesn't kill, or maybe they gravitate to that kind of Superman for whatever reason.
This is less true than it is for Batman but there is no one Superman. Early Golden-Age Superman is very different from Silver-Age Superman, for example.
Perhaps to get things back on topic, I find it really interesting how often Batman has been adapted into different takes and versions - much moreso than Superman. I think this is where some people are coming from when they react poorly to Superman killing. Superman is - for whatever reason - a less "flexible" character.
The success of so many different approaches to Batman says something about the concept, but I don't know what.