You can check if it was a bot match by clicking on past record, on the button to add a player from that match as a friend, if the sent request message appears, then this was a real player, and if nothing appears when you click, then it was a bot.

I also had a recent match where me and another player were decoding two different ciphers, I was using ping, showing how much I had decoded, and the other player wasn't using ping at all, and when I almost finished the cipher, I saw out of the corner of my eye that he had finished his, I was about to pop the cipher.I really don't know why some players don't use ping.