function AddResult(name, score, time) {
  if (success) {
    // time is in microseconds. dividing it by 100 to get time for 10 runs.
//    WScript.Echo("### TIME:", (time / 100).toFixed(3), "ms");
//    WScript.Echo("### SCORE:", score);
  }
}
Performs an ordered traversal of the subtree starting at
this SplayTree.Node.

@param {function(SplayTree.Node)} f Visitor function.
@private