Linux distributions are also commonly used as operating systems for supercomputers : as of June NUMBER@1 , out of the top NUMBER@2 systems , NUMBER@3 -LRB- NUMBER@4 % -RRB- run a Linux distribution .

Linux is commonly used as an operating system for supercomputers . As of November NUMBER@5 , out of the top NUMBER@2 systems , NUMBER@6 -LRB- NUMBER@7 % -RRB- run Linux .
