When multiple graders are grading simultaneously, there is a chance that graders end up going to the same ungraded submission, and start grading.
To reduce the probability of this to happen, randomize the list of gradable submissions for each grader, so each grader hops over the submissions in a different order.

Also, the list of submissions will no longer be determined by any meta-data such as creation date (when did a student start the submission), grade or saved-date.

Submitted by Elmer van Chastelet on 13 September 2023 at 15:25