It doesn't need to be 100% correct. There's a place for fast sorting algorithms which are correct most of the time - basically anything non-critical, like sorting comments by upvotes.
According to the article, they couldn't find a case where it wasn't correct.
According to the article, they couldn't find a case where it wasn't correct.