Public Solving: Checking the sleighs automatically