[Jtsummers]

Unless I missed it, their Z3 solution wasn't even presented. So we can't comment on how good or bad Z3 is without seeing how good or bad their Z3 attempt was.

[moralestapia]

That is true, indeed.

It could be that the author is just massively unskilled at writing Z3 code.

[moralestapia]

Oh come on ...

Either one of the two statements is true, no other way around.

[AlexeyBelov]

Why did you bring such negativity to this thread? "Either one of my two rude statements is true!"

Who asked?

[moralestapia]

Who asked you, though?

It's a forum, people come here to discuss the submissions.

You should know this ...