As always with rules, we have to determine the reason for the rule. I think it's safe to assume the reason the rule was in place was to prevent wedge wars or, on the same lines, a robot winning just because he got under the other. Thracker still succeeded in this, so I think the correct way of interpreting the rule would be for Thracker's bot to be illegal.