Merge Joona's increased static null pruning
authorMarco Costalba <mcostalba@gmail.com>
Thu, 25 Apr 2013 09:39:06 +0000 (11:39 +0200)
committerMarco Costalba <mcostalba@gmail.com>
Thu, 25 Apr 2013 10:05:00 +0000 (12:05 +0200)
The idea is to fail high more easily in static
null test if in the parent node we are already
very deep in the move list, so the propability
to fail high there is very low.

[edit: I have slightly changed the functionality
moving

ss->futilityMoveCount = moveCount;

At the end of the pruning code, this should not affect
ELO in anyway, but makes code more natural and logic]

Test with SPRT is good at 15+0.05
LLR: 2.96 (-2.94,2.94)
Total: 50653 W: 10024 L: 9780 D: 30849

And at 60+0.05
LLR: 2.97 (-2.94,2.94)
Total: 40799 W: 7227 L: 6921 D: 26651

bench: 4530093

1  2 
src/search.cpp
src/search.h

diff --cc src/search.cpp
@@@ -643,10 -643,10 +643,10 @@@ namespace 
          && !ss->skipNullMove
          &&  depth < 4 * ONE_PLY
          && !inCheck
-         &&  eval - FutilityMargins[depth][0] >= beta
 -        &&  eval - futility_margin(depth, (ss-1)->futMc) >= beta
++        &&  eval - futility_margin(depth, (ss-1)->futilityMoveCount) >= beta
          &&  abs(beta) < VALUE_MATE_IN_MAX_PLY
          &&  pos.non_pawn_material(pos.side_to_move()))
-         return eval - FutilityMargins[depth][0];
 -        return eval - futility_margin(depth, (ss-1)->futMc);
++        return eval - futility_margin(depth, (ss-1)->futilityMoveCount);
  
      // Step 8. Null move search with verification search (is omitted in PV nodes)
      if (   !PvNode
@@@ -806,6 -806,6 +806,7 @@@ split_point_start: // At split points a
                          << " currmovenumber " << moveCount + PVIdx << sync_endl;
        }
  
++      ss->futilityMoveCount = 0;
        ext = DEPTH_ZERO;
        captureOrPromotion = pos.is_capture_or_promotion(move);
        givesCheck = pos.move_gives_check(move, ci);
  
                continue;
            }
++
++          // We have not pruned the move that will be searched, but remember how
++          // far in the move list we are to be more aggressive in the child node.
++          ss->futilityMoveCount = moveCount;
        }
  
        // Check for legality only before to do the move
diff --cc src/search.h
@@@ -47,6 -47,7 +47,7 @@@ struct Stack 
    Value staticEval;
    Value evalMargin;
    int skipNullMove;
 -  int futMc;
++  int futilityMoveCount;
  };