steinwurf/kodo — pull request #60 by chres (2014-01-14 13:28:47+00:00)
Title: Correlated data in decoding probability benchmark

Hi
It seem that the data generated by the decoding probability benchmark is correlated when the seed is set using time. I therefore propose to set it using rand().
I have also added the json printer to the benchmark