なんで大きいほどいいの？
ギャップ=0で、動くプログラムがそのまま検査できるのが理想じゃないのか。