Trying out different restart strategies