Chris,
The effective belt diameter is 154mm. To get this figure I placed the belt on the pulley and measured the outside diameter (172mm), I then subtracted the belt thickness and my result is 154, same as my roller pitch diameter of my sprocket. I hope this helps.
Cheers
Stephen