9 <attribute> = (<single> | <nested> | <comment>)
11 <single> = <indent> <name> ":" <value> "\n"
13 <nested> = <open> <attribute>* <close>
14 <open> = <indent> <name> "(" "\n"
15 <close> = <indent> ")" "\n"
17 <indent> = (<sp>|<tab>)*
18 <name> = (A-Z | a-z | 0-9 | "-" | "_")+
19 <value> = (<any-printable-UTF8-char> | 0x09)*
21 <comment> = ("\n" | <indent> "#" <value> "\n")
23 -- there can be multiple attributes with the same name
24 -- spaces can be present only where explicitly allowed by the grammer
26 Input to the queue manager
27 ~~~~~~~~~~~~~~~~~~~~~~~~~~
28 task: name of the task
29 subtask: name of the sub-task (for open-data problems)
30 source: file name of the submitted source
31 codex(...) attributes specific to CodEx
33 Added by the queue manager
34 ~~~~~~~~~~~~~~~~~~~~~~~~~~
35 queue-enter: when did the submit enter the queue (unix timestamp; set by
36 qman according to the original timestamp of the meta-file)
37 queue-eval: timestamp of the start of evaluation
38 queue-done: timestamp of the finish of evaluation
40 Added by the evaluator
41 ~~~~~~~~~~~~~~~~~~~~~~
42 test( results of a single test
44 id: the name of the test
45 points: number of points assigned
47 OK = passed successfully
49 FO = forbidden operation (forbidden syscall atd.)
50 RE = runtime error (exitcode set)
51 SG = killed by signal (exitsig set)
55 NO = no output file generated
56 PE = protocol error (in case of interactive tasks)
57 XX = internal error (e.g., error when calling judge)
58 message: human-readable status message (not intended for machine parsing)
60 time: run time in seconds (float)
61 time-wall: run time on wall clock (float seconds)
62 mem: used memory in bytes
63 exitcode: program exit code
64 exitsig: signal causing process death
65 killed: set to 1 if the process has been killed (and therefore the
66 time and memory usage are incomplete)