The reverse engineering is near impossible. My guess is that their execution algorithms will be as complex as their strategies themselves, so finding out their trades and figuring out the underlying strategies (which constantly evolve with the market) is really hard. Moreover, if one had so much quant ability, they'd be better off making some money for themselves and beating RenTec at their own game.