Automatic verification could not finish.