@wronglang Right, that is true, with the probabilities, but given constrained time and resource, which is always the case, we are lumping the 'not finished yet' solutions in as pragmatically equivalent to the 'not demonstrated bug free' solutions, in which case the numbers I quote above is the final measurement we actually want.

But yeah, it's not a ubiquitous slam dunk. There are times when taking extra time to gain extra correctness confirmations is worth it.