Hi,
With some more trials, I found that I can get TNT hung up by simply increasing the reps... even if comparing trees that I previously thought there were no issues.
If I use:
sprdiff 0 1 10; (finishes less than 1 sec, reports 21 moves)
sprdiff 0 1 50; (finishes less than 1 sec, reports 20 moves)
sprdiff 0 1 60; (finishes less than 1 sec, reports 20 moves)
sprdiff 0 1 65; (never finishes)
Clearly it's better to increase the reps to more than the default of 10, because there seems to be swapping schemes that find less moves to transform one tree into the other. But it also seems that something about the sprdiff command gets bogged down if the reps are too high under a certain comparison.
I've also found that different tree pairs have a different rep threshold where TNT gets hung up.
I'd really like to be able to set reps to 500 or 1000 to have a little more confidence that I'm catching the fewest possible swaps (highest similarity estimate).
Any thoughts?
Cheers,
Steven