I noticed that when I put my Houdini 3 Pro x64 in the "Infinite Analysis" mode, he tends to use a lot of time to evaluate the bad moves... Sometimes he even uses like 30 seconds on the first 10 best moves on his list, but then he uses like 5 minutes on the other (bad) moves... He meditates for a lot of time on the last few moves in his list, even though they are just stupid moves that give up the Queen for nothing...
I made him analyze the following position:
And he needed 2 hours to find the forced mates...
And also, while he was analyzing the position, his list of moves was all messed up: the moves were not ordered according to their evaluations (the best moves should be first, while the worst moves should be last... but it was not the case). Although after he finally found the forced mates he then ordered the moves correctly. Oh and he found that ...Nc6 was a mate in 19 before finding that ...exf6 was a mate in 6.
So is my Houdini broken or something?
And I heard that to find forced mates there was a quicker way: there exist a special mode which puts the engine into a "mate search mode". But how can I put my Houdini in that mode?