将训练样本的约简结果用测试样本来验证，通过每条记录来对比得到相应的正确率，并输出验证所花的时间，注意约简结果必须以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 r