将训练样本的约简结果用测试样本来验证，通过每条记录来对比得到相应的正确率，并输出验证所花的时间，注意约简结果必须以result.txt命名，测试样本以test.txt命名。（与verify1得到结果一样，只是程序当中稍稍有所改动）(The reduction results of the training sample are verified by the test sample, and the corresponding correct rate is obtained by each record, and the time spent by the verification is output. The results of the reduction must be named after the result.txt, and the test sample is named by test.txt. (the same result is obtained from verify1, but a slight change in the program).)