Model Counting in the Wild