format TEXT NOT NULL,
private BOOLEAN NOT NULL DEFAULT FALSE,
problem TEXT NOT NULL REFERENCES problems ON DELETE CASCADE,
+ reference INT,
result INT,
result_text TEXT,
results TEXT,
PRIMARY KEY (contest, problem, owner)
);
+CREATE TABLE limits (
+ problem TEXT NOT NULL REFERENCES problems ON DELETE CASCADE,
+ format TEXT NOT NULL,
+ timeout REAL NOT NULL,
+ PRIMARY KEY (problem, format)
+);
+
CREATE TABLE table_comments (
table_name TEXT NOT NULL PRIMARY KEY,
comment_text TEXT NOT NULL
INSERT INTO table_comments VALUES ('jobs', 'List of jobs');
INSERT INTO table_comments VALUES ('problem_status', 'List of (problem, user, result)');
INSERT INTO table_comments VALUES ('opens', 'List of (contest, problem, user, time when user opened problem)');
+INSERT INTO table_comments VALUES ('limits', 'Time limit overrides for certain problem/format pairs');
INSERT INTO column_comments VALUES ('users', 'passphrase', 'RFC2307-encoded passphrase');
INSERT INTO column_comments VALUES ('users', 'name', 'Full name of user');
INSERT INTO column_comments VALUES ('jobs', 'errors', 'Compiler errors');
INSERT INTO column_comments VALUES ('jobs', 'extension', 'File extension of submitted program, without a leading dot');
INSERT INTO column_comments VALUES ('jobs', 'format', 'Format (programming language) of submitted program');
+INSERT INTO column_comments VALUES ('jobs', 'reference', 'If not null, this is a reference solution that should get this result. For example, set reference=0 on jobs that should be accepted, reference=3 on jobs that should get TLE, etc');
INSERT INTO column_comments VALUES ('jobs', 'result', 'Job result (integer constant from Gruntmaster::Daemon::Constants)');
INSERT INTO column_comments VALUES ('jobs', 'result_text', 'Job result (human-readable text)');
INSERT INTO column_comments VALUES ('jobs', 'results', 'Per-test results (JSON array of hashes with keys id (test number, counting from 1), result (integer constant from Gruntmaster::Daemon::Constants), result_text (human-readable text), time (execution time in decimal seconds))');