char *glb_filename = nullptr;
int glb_cutoff_time = 60;
long long BKS;
int p_ArmNum;
double p_lambda;
int p_backward_step;
int p_max_clause_score;
double p_gamma;
long long cut_round;
double improve_ratio;
