// load_defaults populates the options vector with the hard
// coded names and default values.
+
void load_defaults(Options& o) {
o.push_back(Option("Use Search Log", false));
o.push_back(Option("Futility Margin 2", 300, 0, 1000));
o.push_back(Option("Maximum Razoring Depth", 3, 0, 4));
o.push_back(Option("Razoring Margin", 300, 150, 600));
+ o.push_back(Option("LSN filtering", true));
+ o.push_back(Option("LSN Time Margin (sec)", 4, 1, 10));
+ o.push_back(Option("LSN Value Margin", 200, 100, 600));
o.push_back(Option("Randomness", 0, 0, 10));
o.push_back(Option("Minimum Split Depth", 4, 4, 7));
o.push_back(Option("Maximum Number of Threads per Split Point", 5, 4, 8));