We're experiencing some issues with the RPI computer science login servers since some time over the weekend, so we've been unable to fix the problem with the failing workunits for the separation 0.4 runs. We're waiting for them to be restored from a backup before we can fix the issue.