code: static private void collectStats(double elapsedSec1,double elapsedSec2,List saved,List result,double[] stats)
      {
          stats[0] += elapsedSec1;
          stats[1] += elapsedSec2;
          Set fastVals = new HashSet();
          Set slowVals = new HashSet();
          for (int i=0; i<saved.size(); i++) {
              fastVals.add( ((LookupResult)saved.get(i)).value );
          }
          stats[2] += fastVals.size();
          for (int i=0; i<result.size(); i++) {
              slowVals.add( ((LookupResult)result.get(i)).value );
          }
          stats[3] += slowVals.size();
          if (fastVals.size()==slowVals.size()) stats[4]++;
      }
docs: for testing