You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
15 lines
782 B
HTML
15 lines
782 B
HTML
<dl class="large horizontal" id="summary">
|
|
{% if typeof(rdoc['score']) == 'number' %}
|
|
<dt>{{ _('Score') }}</dt>
|
|
<dd>{{ rdoc['score'] }}</dd>
|
|
{% endif %}
|
|
{% if rdoc['time'] %}
|
|
<dt>{{ _('Total Time') }}</dt>
|
|
<dd>{% if rdoc['status'] == STATUS.STATUS_TIME_LIMIT_EXCEEDED or rdoc['status'] == STATUS.STATUS_MEMORY_LIMIT_EXCEEDED or rdoc['status'] == STATUS.STATUS_OUTPUT_LIMIT_EXCEEDED %}≥{% endif %}{{ rdoc.time|round|int }}ms</dd>
|
|
{% endif %}
|
|
{% if rdoc['memory'] %}
|
|
<dt>{{ _('Peak Memory') }}</dt>
|
|
<dd>{% if rdoc['status'] == STATUS.STATUS_TIME_LIMIT_EXCEEDED or rdoc['status'] == STATUS.STATUS_MEMORY_LIMIT_EXCEEDED or rdoc['status'] == STATUS.STATUS_OUTPUT_LIMIT_EXCEEDED %}≥{% endif %}{{ size(rdoc.memory, 1024) }}</dd>
|
|
{% endif %}
|
|
</dl>
|