For artifact evaluation please refer to Artifact Evaluation:

The binary of SMOKE can be downloaded at Smoke Pakcage

All the pre-compiled bitcode files are located in the chcpu12h server since their size (2.0G in total). Server Info