John> Nobody has systematically looked for the best value for John> $MIN_PROGRAM_SIZE but a study I did a while ago showed (this is John> in the PLDI paper I think) showed that Csmith's bug-finding power John> is maximized for programs in the 80 KB range. So it's surely John> safe to throw away anything less than 10 or 20 KB. Yes, this is in the PLDI paper.