fixed bug in Minesweeper outer alg. + change benchmark output reporting