allresult.txt的输出