The seed seems to work correctly since java11. Therefore reduce the
sim time to speed up the CI. The test are NOT removed and still
executed each time to ensure the seeds kepp working.