/** Resets the counters and timers. */
public void resetCounters() {
queryNum = 0;
resultNum = 0;
timer.reset();
}
/**
* Returns the query time.
*
* @return query time
*/
public long getQueryTime() {
return timer.get();
}