Oh, actually we did design the game to randomize, but I found that I forgot to set the random seed. Thank you for bringing this to my attention!
