Is Chipmunk actually faster than box2d?
Yes and no. We use different algorithms for some things so it really depends on what your game is like. In particular Chipmunk uses spatial hashing for it's collision detection, so if you have a lot of objects that are close to the same size, then it might be faster. If you have a lot of objects of differing sizes all in proximity to each other, Box2D's sort and sweep might be faster.
I've read a few posts where Chipmunk gave people a workable performance boost. Off the top of my head:
http://methodart.blogspot.com/2008/06/virtual-ball-pit-from-kevin-atkinson-on.htmlhttp://www.cocos2d-iphone.org/forum/topic/3761I've also read posts where Chipmunk turned out to be slower than Box2D. I don't have links to back that up though, but I have seen them. :p