Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
submissions.txt | 2018-12-20 00:42 | 760 | ||
config.txt | 2018-12-20 00:42 | 456 | ||
crequests.txt | 2018-12-20 00:42 | 0 | ||
iplog.txt | 2018-12-20 00:42 | 28K | ||
datafiles.txt | 2018-12-20 00:42 | 784 | ||
judgements.txt | 2018-12-20 00:42 | 812 | ||
clarifications.txt | 2018-12-20 00:42 | 0 | ||