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:

Semantic Cleanup

Increase human readability by factoring out commonalities which are likely to be coincidental.

Efficiency Cleanup, 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.

No Cleanup

Raw output.