The Potential of Restarts for ProbSAT