asp_delta, int, 50.0, 10.0, 100.0, 5.0, 0.002
asp_window, int, 25.0, 10.0, 75.0, 4.0, 0.002
delta_move_const, int, 300.0, 50.0, 500.0, 27.0, 0.002
futil_move_const, int, 250.0, 50.0, 500.0, 27.0, 0.002
lmp_multipl_base, int, 100.0, 0.0, 300.0, 15.0, 0.002
lmp_multipl_impr, int, 200.0, 0.0, 600.0, 30.0, 0.002
lmp_start_base, int, 150.0, 0.0, 300.0, 15.0, 0.002
lmp_start_impr, int, 300.0, 0.0, 600.0, 30.0, 0.002
lmr_depth_pow, int, 15.0, 5.0, 25.0, 1.0, 0.002
lmr_init_a, int, 10.0, 0.0, 400.0, 20.0, 0.002
lmr_init_div, int, 175.0, 0.0, 500.0, 25.0, 0.002
lmr_number_pow, int, 15.0, 5.0, 25.0, 1.0, 0.002
nmp_base, int, 3.0, 2.0, 7.0, 1.0, 0.002
nmp_cond_base, int, 120.0, 60.0, 200.0, 13.0, 0.002
nmp_cond_depth, int, 20.0, 10.0, 30.0, 2.0, 0.002
nmp_delta_div, int, 128.0, 64.0, 256.0, 16.0, 0.002
nmp_depthdiv, int, 4.0, 2.0, 8.0, 1.0, 0.002
nmp_maxreduct, int, 4.0, 2.0, 7.0, 1.0, 0.002
prcut_beta_base, int, 200.0, 50.0, 300.0, 17.0, 0.002
prcut_depth, int, 5.0, 2.0, 8.0, 1.0, 0.002
razoring_margin, int, 650.0, 100.0, 1000.0, 55.0, 0.002
revf_depth, int, 5.0, 3.0, 10.0, 1.0, 0.002
revf_impr_const, int, 100.0, 25.0, 175.0, 10.0, 0.002
revf_move_const, int, 150.0, 25.0, 300.0, 16.0, 0.002
see_q_base, int, 51.0, 0.0, 120.0, 6.0, 0.002
see_q_depth, int, 51.0, 0.0, 150.0, 7.0, 0.002
sing_search_start, int, 8.0, 4.0, 10.0, 1.0, 0.002

asp_delta, 51
asp_window, 33
delta_move_const, 192
futil_move_const, 254
lmp_multipl_base, 187
lmp_multipl_impr, 227
lmp_start_base, 140
lmp_start_impr, 379
lmr_depth_pow, 10
lmr_init_a, 52
lmr_init_div, 256
lmr_number_pow, 16
nmp_base, 4
nmp_cond_base, 111
nmp_cond_depth, 20
nmp_delta_div, 140
nmp_depthdiv, 4
nmp_maxreduct, 4
prcut_beta_base, 207
prcut_depth, 4
razoring_margin, 894
revf_depth, 7
revf_impr_const, 141
revf_move_const, 147
see_q_base, 53
see_q_depth, 70
sing_search_start, 6