Diffは2つのテキストを受け取り、文字単位で動作し、相違点を見つけます。
差分計算のマッピングフェーズにこれ以上の秒数分時間がかかる場合、計算を打ち切り局所最適解を出力する。タイムアウトを'0'にすると、計算を無制限に行うことができる。