"Wikipedia-sized"
Is it really? They say in the article that the text of Wikipedia is a 10GB download, but that has to be compressed (and compression on plaintext, which comprises most of Wikipedia, is extremely efficient). I'm guessing (but have no proof) that their 13GB file was raw data.
A minor thing, but comparisons like this always drive me nuts. Just say "13GB proof too big for humans to check." Then there's no confusion.</sillyrant>
A lot of its name games. 10 gigs of possibilities tested is actually pretty short for something like OGR-27. We're probably going to prove OGR-27 in a few weeks (or has it already been announced?) and I'm fairly certain a list of all possible rulers checked would exceed 10 gigs. Yet you can report OGR-26 in only 26 small numbers, or I guess you could draw a graphic pix using 492 pixels or whatever.
So is OGR-27 merely 27 numbers aka a 1-d pixel "graph" probably around five hundred something pixels, or is it really zillions of gigs of rulers all of which are longer than the OGR?
A minor thing, but comparisons like this always drive me nuts. Just say "13GB proof too big for humans to check." Then there's no confusion.</sillyrant>