name;
if (!isset($totals["total_$name"])) $totals["total_$name"] = 0;
foreach($info->values as $v)
{
$totals["total_$name"] += $v;
}
$i++;
}
$total_time = 0;
foreach($totals as $k=>$v)
{
$total_time += $v;
}
fs_println(sprintf("Total time = %.4f ms",$total_time));
foreach($totals as $k=>$v)
{
$p = $totals[$k] / $total_time * 100;
$totals[$k] = sprintf("%.4f ms (%.2f%%)",$totals[$k],$p);
}
foreach($totals as $k=>$v)
{
echo "$k => $v
";
}
fclose($file);
}
?>