uint32_t get_store_visible_count() { return store_visible_count; }
uint32_t get_total_checking_count() { return total_checking_count; }
void incr_expl_count() { exploration_count++; }
uint32_t get_store_visible_count() { return store_visible_count; }
uint32_t get_total_checking_count() { return total_checking_count; }
void incr_expl_count() { exploration_count++; }