The runtime versions on faq page are very old and not edited. If judger is not with web, we can't determine the exact version. So set these versions as default show, won't be too much different.