Jonathan Irvin Gunawan

I've looked around and tried a bit about this. Sadly ``ulimit -t`` does not allow for non-integer limit :'( It may be possible to use ``timeout`` (http://man7.org/linux/man-pages/man1/timeout.1.html) instead but unfortunately...

I agree that sometimes this can be confusing for contestants, but it is still a good-to-have feature, and leave the discretion to the SC whether they want to update the...