How Hard Is Houdini