果たして、この検証は意味あるのでしょうか？
Ａの条件で仲間になるか？
という検証なら何度も試してなりますが
Ａの条件で仲間にならない
という検証をした場合
何を基準に仲間にならない
と決めるのでしょうか？
検証者がN回やれば大体仲間になるかならないかわかるだろう…という曖昧な検証しかできないのでは？
それなら膨大な量のバイナリを調べるなどのほうが現実的なのでは？

と長文＆横槍すいません。