Note that the current tools are special versions which are optimized for the competition machine (16 cores, 64 GB) and therefore might not perform optimally on standard PCs. Therefore, for experiments on other machines you might contact the authors to get a more appropriate configuration of the tools. All tools are all compiled for Linux / 64 bit.

For specific licensing details, please refer to the websites of the tools listed below.