In case a solution is killed by the server during the spec-tests that run in the background, reschedule the solution once more. This improves the chance of a successful run when (for example) the backend was not warmed up during the first run or experienced other causes of slowdown.

Submitted by Elmer van Chastelet on 10 June 2020 at 13:51