Coliseum process has to be explicitly killed and cannot be terminated with Ctrl-C after a program timed out.
Log in to post a comment.
