Ich habe das Rätsel gelöst. Ich hatte mir etwas Tolles zum Test ausgedacht, mit Vergleich der entpackten XML-Dateien und so. Und dann war die Lösung doch ganz einfach:
Der Radius war auf genau 5mm gesetzt und das ist auch der Abstand zur nächsten Kante. Durch die üblichen Rundungsdifferenzen ging es dann manchmal schief. Setze ich den Radius auf 4,99 dann geht es immer.