OT: There's a related question on StackOverflow where the same program had different runtimes on different terminals. https://stackoverflow.com/a/21947627 http

OT: There's a related question on StackOverflow where the same program had different runtimes on different terminals. https://stackoverflow.com/a/21947627 https://stackoverflow.com/a/21947627