{% extends "jury/base.html.twig" %}
{% import "jury/jury_macros.twig" as macros %}
{% block title %}Rejudging r{{ rejudging.rejudgingid }} - {{ parent() }}{% endblock %}
{% block extrahead %}
{{ parent() }}
{{ macros.table_extrahead() }}
{{ macros.select2_extrahead() }}
{% endblock %}
{% block content %}
Rejudging r{{ rejudging.rejudgingid }} {% if not rejudging.valid %}(canceled){% endif %}
| Reason |
{% if rejudging.reason is empty %}
none
{% else %}
{{ rejudging.reason }}
{% endif %}
|
{% if rejudging.startUser %}
| Issued by |
{{ rejudging.startUser.name }}
|
{% endif %}
{% if rejudging.endtime %}
| {% if rejudging.valid %}Accepted{% else %}Canceled{% endif %} by |
{% if rejudging.autoapply %}
automatically applied
{% elseif rejudging.repeat %}
part of a repeated judging
{% else %}
{{ rejudging.finishUser.name }}
{% endif %}
|
{% endif %}
| Start time |
{% if rejudging.starttime %}
{{ rejudging.starttime | printtime }}
{% else %}
-
{% endif %}
|
| Apply time |
{% if rejudging.endtime %}
{{ rejudging.endtime | printtime }}
{% else %}
-
{% endif %}
|
| Queued |
{{ todo }} unfinished judgings |
{% if repetitions %}
| Repetitions |
{% for rep in repetitions %}
r{{ rep }}
{% endfor %}
|
{% endif %}
{% include 'jury/partials/rejudging_buttons.html.twig' %}
{% if rejudging.autoapply and not rejudging.endtime %}
Judgings in this rejudging will be applied automatically.
{% endif %}
{% if disabledLangs %}
The following languages are currently not allowed to be judged:
{% for id, name in disabledLangs %}
- {{ name }}
{% endfor %}
{% endif %}
{% if disabledProbs %}
The following problems are currently not allowed to be judged:
{% for id, name in disabledProbs %}
- {{ name }}
{% endfor %}
{% endif %}
{% include 'jury/partials/rejudging_matrix.html.twig' %}
{% if stats %}
Statistics over repeated rejudgings
Runtime spread
| submission/testcase | spread | #judgings | result |
{% for spread in stats.runtime_spread %}
| s{{ spread.submitid }}/tc{{ spread.rank }} |
{{ spread.spread | number_format(3) }}s |
{{ spread.count }} |
{{ spread.verdict | printResult }} |
{% endfor %}
{% if stats.judging_runs_differ %}
Judging Run Differences
{% for diff in stats.judging_runs_differ %}
- s{{ diff }}
{% endfor %}
{% if stats.judging_runs_differ_overflow > 0 %}
Left out {{ stats.judging_runs_differ_overflow }} submissions with different judging results.
{% endif %}
{% endif %}
{% if stats.judgehost_stats | length > 1 %}
Judgehost stats
| Judgehost | #judgings | avg. runtime | std.dev. | avg. duration |
{% for judgehost in stats.judgehost_stats %}
| {{ judgehost.judgehost | printHost }} |
{{ judgehost.njudged }} |
{{ judgehost.avgrun | number_format(3) }}s |
{{ judgehost.stddev | number_format(3) }} |
{{ judgehost.avgduration | number_format(3) }}s |
{% endfor %}
{% endif %}
{% if stats.judgings %}
Judging verdicts
| jID | rID | Judgehost | duration (incl. compile) | verdict |
{% for judging in stats.judgings %}
| j{{ judging.judgingid }} |
r{{ judging.rejudgingid }} |
{{ judging.hostname | printHost }} |
{{ judging.duration | number_format(3) }} |
{{ judging.result | printResult }} |
{% endfor %}
{% endif %}
{% endif %}
Details
{% include 'jury/partials/rejudging_submissions.html.twig' %}
{% endblock %}
{% block extrafooter %}
{% endblock %}