Parallel Rogue-like benchmark

[bearophile]

Paul Jurczak:

> Using long names vs. short ones will substantially inflate zip 
> file size, but will not affect LOC count.

On the other hand if you use a very good compressor (like the 
PPMd of 7Zip or even better a PAQ by the good Matt) the 
identifier names that are mostly a concatenation of English words 
will be compressed to around 1-2 bits/char.

Bye,
bearophile