This was board #4 from ACBL Robot Duplicate #9555.
All the pairs that declared in the South hand make 12 tricks, because GIB W always led its singleton King, so I got only 6.5% for staying out of the bad slam.
I believe this is another fault of GIB's use of DD analysis in its defensive play. A human would be salivating, saying to himself "I'll bet the 2♣ bidder has the Ace, and will finesse, so I'll get to win my singleton King." But GIB deals out a bunch of layouts for the other 3 hands, while keeping its hand as it is, and performs double dummy analysis of them. Playing double dummy, declarer always drops singleton kings when it needs to, so GIB doesn't think it's giving anything away by leading it.
The big problem with using DD analysis for this is that it doesn't recognize that declarer DOESN'T know what's in your hand.
Since GIB's basic design is not likely to change, there need to be some overrides to prevent these stupid plays -- leading kings, and helping declarer find queens by playing them when it leads towards dummy in a 2-way finesse situation.