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