Don't know about 2) but for 1):
1 second probably is too little for the engine to go deep enough to find a move-order resulting in a mate. I tried it on my phone with activated "Ponder" and Stockfish found a mate against itself relatively quickly.
It's not easy to do though. If you don't remember the exact algorithm even GMs under time-pressure can fail it. (There was a relatively recent threat about that exact thing occuring to a WGM on a tournament)
I have just downloaded the Scid chess database application. It included three different engines, but i downloaded and installed Stockfish 3 as well.
Now I have two questions:
1) When I made Stockfish play verses itself (1 sec per move), it ended with a (black) king vs. a king, a bishop and a knight. Stockfish did not manage to mate black, no matter how long I made it think for each move. At the same time it said white had an advantage of 700 (pawn-units) or something like that. Is such an endgame impossible to win, or is this a weakness of Stockfish 3?
2) It looks like Scid has a feature where I can search find similar games. But when I search for games, it will not find any, even though i search for simple positions where only one move is done. Do I have to download a database or something? If yes, any recommendations? How do I install those?