I went into the library for about a half hour and it was missing when I came out. There were about a dozen other bikes on the rack, all lower-end models (some unlocked), and my lock appeared to be the only one broken.
Protect your bike – get a security protection label!
Apply the protection label to your bicycle and instantly reduce the risk of theft by up to 50%! Moreover, if the bike is stolen, you increase the chance of its safe recovery by up to 70%.