Revision 14986 / collects / handin-server
PathDurationTimeout?Unclean Exit?STDERR Output
overridden-collects/1.25s   
private/1.93s   
scribblings/11.74s   
checker.ss1.62s 
info.ss237.83ms   
main.ss844.74ms 
sandbox.ss523.05ms   
utils.ss836.31ms 
web-status-server.ss679.22ms 
Total19.65s 44