Added SFMT random number generator: 3.2 s