The paper you cited supports what I've been saying. You can publish a paper that says, "Here is a counterexample." You can't publish a paper that says, "Here is a solution I guessed to be correct."

Any method of finding a counterexample is accepted. Guessing a solution is not.

EDIT: The paper linked to was published because it was a counterexample to a famous conjecture.

So you're saying that if they left out the "search on CDC" line the paper would not have been accepted.

No. I'm saying it would not have been published if it wasn't a counterexample.