Hi I am Mehdi Mhalla and with Frederic Prost we adapted stockfish ( Mainly : changing the promotion lines and pawns close to be promoted, and increasing the max ply given the fact that less possibilities allows to go deeper, then guiding the stockfish analysis by hand (instead of letting the engine run) allows to find check mates easily) and that was enough to allow us to solve gardner minichess all details and comments can be found on this website
http://membres-lig.imag.fr/prost/MiniChessResolution/
(including the engines for mac 64 windows 32 and source code, possible openings that hold, some tricky checkmates, surprising draw positions analysis of some perfect games (where no player makes a mistake) we also give the engine for los alamos chess for which we still don't have a formal proof),
The oracle proof (by providing a strategy for white and black : weak solving by oracle) can be found here
http://arxiv.org/abs/1307.7118