?>
<?php
}
?>
</td>
<td><?php
echo HTML::anchor("/problem/show/{$i->problem_id}", $i->problem_id);
?>
</td>
<td><?php
echo HTML::anchor("/u/{$i->user_id}", $i->user_id);
?>
</td>
<td>
<?php
echo __(e::jresult($i->result));
?>
<?php
if (OJ::is_oi_mode()) {
echo $i->display_pass_rate();
}
?>
</td>
<td><?php
if ($i->result == 4) {
echo $i->time, 'ms';
} else {
echo '----';
}
?>
</td>
public function display_result()
{
return __(e::jresult($this->result));
}
