Well, if you use the same gears and pedal at the same cadence, 25mm tyres will be faster than 23mm

.
I believe my road bike, when I first bought it, came with 19mm's, but they didn't last long and I found them very difficult to get on/off (don't remember the make). I normally use 23mm's but bought a 25mm for the rear, last year when there weren't any 23's in the shop - having been assured 'of course it will fit sir'. Well, it did fit - just! - not much more than a mm clearance with seat tube...

... just so long as nothing gets caught up there! On the whole a comfortable enough ride.