double prob = (double) store_visible_count / total_checking_count;
model_print("Total checks: %d, visible count: %d; prob: %f\n", total_checking_count, store_visible_count, prob);
double prob = (double) store_visible_count / total_checking_count;
model_print("Total checks: %d, visible count: %d; prob: %f\n", total_checking_count, store_visible_count, prob);