Set random seed

[daniele.rocci]

How it is possible to set the random seed before launch the generation?
I obtained this information after the generation:

The random seed at the end of generation is:
   s10=3914716116, s11=3229136241, s12=2815678831,
   s20=2011574348, s21=1919414699, s22=3245505724.

Questo file è stato prodotto automaticamente da FET 6.5.7.

where and how should I use these data?
Thanks in advance
Daniele

[Volker Dirr]

A (normal) user don't need that information. You also don't need to change the seed.
This seed is in practise only useful for software developers that a searching for bugs in the algorithm, since it is possible to reproduce the generating of a timetable by knowing the seed.

[Volker Dirr]

You can change it in FET -> settings -> advanced -> seed

But like i wrote: If you are not seachching for bugs in the algorithm, then you don't need to care about the seed.

[daniele.rocci]

I would like to regenerate the same timetable but using a different HTML level...

[Volker Dirr]

In that case you can just load the fet file from the results folder and generate again.
Advantages: You don't need to enter the seed and generating the timetable need only a few seconds.

[Liviu Lalescu]

Like Volker said, you can open the fet-results/...data_and_timetable.fet file and generate in 1 second on it.

Or open your file, input the random seed at the beginning at the generation and generate. But it will last the same much time and you need to check that the final seeds correspond.

[daniele.rocci]

Solved... I was not able to find the ...data_and_timetable.fet it was hidden and I was not aware of its existence. Thanks a lot.
Daniele