 ENGINE = InnoDB;
 
 INSERT INTO StatusCodes VALUES
+(-6, 'unknown verifier result code'),
 (-5, 'launcher crash'),
 (-4, 'watcher crash'),
 (-3, 'solver crash'),

(10, 'UNSAT'),
(11, 'SAT'),
(-21, 'time limit exceeded'),
(-302, 'solver SIGINT'),
(-303, 'solver SIGQUIT'),
(-304, 'solver SIGILL'),

(0, 'running'),
(1, 'finished'),
(21, 'time limit exceeded'),
(22, 'wallclock time limit'),
(23, 'memory limit'),
(-402, 'watcher SIGINT'),
(-403, 'watcher SIGQUIT'),
(-404, 'watcher SIGILL'),
