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.

I have been solving a problem today and I discovered that this code gets WA15 while this one gets AC. The only difference is in these lines

AC:

v<int> DP(10000); int MAX = -INF, ans = 0;

WA15:

int DP[10000], MAX = -INF, ans = 0;

Furthermore, compiled with G++0x both solutions get AC which means it is a bug or at least undefined behavior.