Random seed

Type : Integer

Range : {0..2100000000}

Default : 0

The search uses some randomization in some strategies. This option sets the seed of the random generator used by these strategies.