llvm      : 199542
bugle     : 49065c948cb4cb13f2695f8564406fe6db4271b5
libclc    : 9f8cb147592f427f9eff629e04b5004fa6ed888e
gpuverify : 1057285fefbd0f2c53f06fc038f3459003cdc491
z3        : 89c1785b73225a1b363c0e485f854613121b70a7
cvc4      : 86094a88045847c76f54535b34730f8b9895e842
