The top knife looks like a 9100SBK. The 9100 is the predecessor to the 9101 and has a smaller button and the lacks of some of the pre-drilled holes for switching the pocket clip position
The bottom knife looks like a 5000SBK. The 5000 is the full-size Presidio, whereas the 5500 is a mini-Presidio.
The model numbers are right under the butterfly logo on the blade. They're blurry in the photo, but I think they concur.