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