public static function getAllBenchmarks()
  {
    $benchmarks = array();
    
    @reset(self::$benchmark_results);
    while (list($identifier, $elapsed_time) = @each(self::$benchmark_results))
    {
      if (!isset(self::$temporary_benchmarks[$identifier])) $benchmarks[$identifier] = $elapsed_time;
    }
    
    return $benchmarks;
  }