@code{mlfqs-recent-1}, @code{mlfqs-fair-2}, @code{mlfqs-fair-20},
@code{mlfqs-nice-2}, @code{mlfqs-nice-10}, and @code{priority-fifo}.
The behavior of these tests can sometimes vary based on timing (e.g.,
@code{mlfqs-recent-1}, @code{mlfqs-fair-2}, @code{mlfqs-fair-20},
@code{mlfqs-nice-2}, @code{mlfqs-nice-10}, and @code{priority-fifo}.
The behavior of these tests can sometimes vary based on timing (e.g.,