首轮80个用例是配对检验的合理下限；配对检验的效力来自不一致对子，全部通过的集合无论多大都没有用。