I don't really suggest belts for high rep stuff... but smolov might be an exception. I'm going to try and not use my belt as much as possible if/when I go on it
If I end up getting a belt because of this comp I'll go with the 10 mm lever.. just because 10 mm is normally the cut off I see for allowed size of belts
No 13 mm is IPF legal. It is the cut off.