Ejemplo n.º 1
0
        $fullcpu = $d[DATA_FULLCPU];
        $status = $d[DATA_STATUS];
        $e = ElapsedTime($d);
        if ($d[DATA_MEMORY] == 0) {
            $kb = '?';
        } else {
            $kb = number_format((double) $d[DATA_MEMORY]);
        }
        printf('<tr>');
        echo "\n";
        if ($status < 0) {
            printf('<td>&nbsp;</td><td><a href="program.php?test=%s&amp;lang=%s&amp;id=%d" title="Read the Program Source Code : %s">%s</a></td>', $SelectedTest, $k, $id, $TipName, $HtmlName);
            echo "\n";
            printf('<td>%s</td><td>&nbsp;</td><td>&nbsp;</td><td>%d</td>', StatusMessage($status), $gz);
        } else {
            printf('<td>%s</td><td><a href="program.php?test=%s&amp;lang=%s&amp;id=%d" title="Read the Program Source Code : %s">%s</a></td>', PFx($ratio), $SelectedTest, $k, $id, $TipName, $HtmlName);
            echo "\n";
            printf('<td>%0.2f</td><td>%0.2f</td><td>%s</td><td>%d</td><td></td>', $fullcpu, $e, $kb, $gz);
            echo "\n";
        }
        echo "</tr>\n";
    }
}
?>


<?php 
// MISSING PROGRAMS TABLE //////////////////////////
if (sizeof($No_Program_Langs) > 0) {
    echo '<tr><th colspan="7"><a href="#missing" name="missing">missing benchmark programs</a></th></tr>', "\n";
    foreach ($Langs as $k => $v) {
         $ratio = 0;
     } else {
         $ratio = $d[DATA_ELAPSED] / $first[DATA_ELAPSED];
     }
 } elseif ($Sort == 'gz') {
     if ($first[DATA_GZ] <= 0) {
         $ratio = 0;
     } else {
         $ratio = $d[DATA_GZ] / $first[DATA_GZ];
     }
 }
 if ($ratio > 750) {
     $ratio = 0;
 }
 echo "      <tr>\n";
 $r = PFx($ratio);
 echo "        <td>{$r}\n";
 $id = $d[DATA_ID];
 $HtmlName = $HtmlName . IdName($d[DATA_ID]);
 $nav = '"./program.php?test=' . $SelectedTest . '&amp;lang=' . $k . '&amp;id=' . $id . '"';
 echo "        <td><a href={$nav}><span>", "{$HtmlName}</span></a>\n";
 $e = PTime($d[DATA_ELAPSED]);
 echo "        <td", $elapsed_td, ">", $e, "\n";
 if ($d[DATA_MEMORY] <= 0) {
     $kb = '?';
 } else {
     $kb = number_format((double) $d[DATA_MEMORY]);
 }
 echo "        <td", $mem_td, ">", $kb, "\n";
 $gz = $d[DATA_GZ];
 echo "        <td", $gzbytes_td, ">", $gz, "\n";