It seems it is able to generate wildly optimized binaries. So I wonder whether this is the reason it is not desirable here as it might optimize not so smart solutions so well that they squeeze into the time limit.

Interestingly timus supported Intel Compiler in the past.