The FSM tests which are invoked in the backup_restore.js test are not randomized. They always run the same order of tests, because Array.shuffle is invoked without invoking Random.setRandomSeed();