Text Version 1:

Text Version 2:

Diff timeout:

seconds
If the mapping phase of the diff computation takes longer than this, then the computation is truncated and the best solution to date is returned. While guaranteed to be correct, it may not be optimal. A timeout of '0' allows for unlimited computation.

Post-diff cleanup:

Increase human readability by factoring out commonalities which are likely to be coincidental.
, edit cost:
Increase computational efficiency by factoring out short commonalities which are not worth the overhead. The larger the edit cost, the more aggressive the cleanup.
Raw output.