The source project of this merge request has been removed.
Fixed random sorting.
Previously, the random input files sorting was implemented with std::sort() with a comparing function which didn't match the requirements (see the std::sort() documentation). This led to random crashes.
The std::sort() was substituted with std::shuffle().