[d]8/k7/3p4/p2P1p2/P2P1P2/8/8/K7 w - - 0 1[/d]
The Symbolic re-write got its transposition table pruning installed a couple of days ago, and the above position was the first test.
The solution move is located in under a tenth of a second:
Code: Select all
PV: [+0.752/1/0.000/1] 1. Ka2
PV: [+0.752/2/0.000/10] 1. Ka2 Kb8
PV: [+0.752/3/0.000/30] 1. Ka2 Kb8 2. Kb3
PV: [+0.752/4/0.000/89] 1. Ka2 Kb8 2. Kb3 Kc8
PV: [+0.752/5/0.000/184] 1. Ka2 Kb8 2. Kb3 Kc8 3. Kc4
PV: [+0.752/6/0.001/350] 1. Ka2 Kb8 2. Kb3 Kc8 3. Kc4 Kd8
PV: [+0.752/7/0.001/581] 1. Ka2 Kb8 2. Kb3 Kc8 3. Kc4 Kd8 4. Kb5
PV: [+0.752/8/0.001/1,011] 1. Ka2 Kb8 2. Kb3 Kc7 3. Kc4 Kb6 4. Kb3
PV: [+0.752/9/0.002/1,546] 1. Ka2 Kb8 2. Kb3 Kc7 3. Kc4 Kb6 4. Kb3
PV: [+0.752/10/0.003/2,566] 1. Ka2 Kb8 2. Kb3 Kc7 3. Kc4 Kb6 4. Kb3
PV: [+0.752/11/0.004/3,719] 1. Ka2 Kb8 2. Kb3 Kc7 3. Kc4 Kb6 4. Kc3 Ka6 5. Kb2
PV: [+0.752/12/0.006/5,035] 1. Ka2 Kb8 2. Kb3 Kc7 3. Kc4 Kb6 4. Kc3 Ka6 5. Kb2 Kb7
PV: [+0.752/13/0.007/6,936] 1. Ka2 Kb8 2. Kb3 Kc7 3. Kc4 Kb6 4. Kc3
PV: [+0.752/14/0.010/9,421] 1. Ka2 Kb8 2. Kb3 Kc7 3. Kc4 Kb6 4. Kc3
PV: [+0.752/15/0.014/13,753] 1. Ka2 Kb8 2. Kb3 Kc7 3. Kc4 Kb6 4. Kc3
PV: [+0.752/16/0.021/21,594] 1. Ka2 Kb8 2. Kb3 Kc7 3. Kc4 Kb6 4. Kc3
PV: [+0.752/17/0.027/30,981] 1. Ka2 Kb8 2. Kb3 Kc7 3. Kc4 Kb6 4. Kc3 Kb7 5. Kc4 Kb6
PV: [+0.752/18/0.030/39,560] 1. Ka2 Kb8 2. Kb3 Kc7 3. Kc4 Kb6 4. Kc3
PV: [+0.752/19/0.042/68,789] 1. Ka2 Kb8 2. Kb3 Kc7 3. Kc4 Kb6 4. Kc3
PV: [+0.752/20/0.084/99,893] 1. Ka2 Kb8 2. Kb3 Kc7 3. Kc4 Kb6 4. Kc3
PV: [+1.062/20/0.087/109,731] 1. Kb1 Kb7 2. Kc1 Kc7 3. Kd1 Kd8 4. Kc2 Ke8 5. Kb3 Kf7 6. Kc4 Kg6 7. Kb5 Kh5 8. Kxa5 Kg4
PV: [+1.088/21/0.114/144,022] 1. Kb1 Kb7 2. Kc1 Kc7 3. Kd1 Kd8 4. Kc2 Ke8 5. Kb3 Kf7 6. Kc4 Kg6 7. Kb5 Kh5 8. Kc6 Kg4 9. Kxd6 Kxf4 10. Kc5 Ke3 11. d6
PV: [+1.062/22/0.143/223,516] 1. Kb1 Kb7 2. Kc1 Kc7 3. Kd1 Kd8 4. Kc2 Ke8 5. Kb3 Kf7 6. Kc4 Kg6 7. Kb5 Kh5 8. Kxa5 Kg4 9. Kb6 Kxf4 10. Kc7 Ke3 11. Kxd6 Kxd4
PV: [+1.139/23/0.259/290,071] 1. Kb1 Kb7 2. Kc1 Kc7 3. Kd1 Kd8 4. Kc2 Ke8 5. Kb3 Kf7 6. Kc4 Kg6 7. Kb5 Kh5 8. Kxa5 Kg4 9. Kb6 Kxf4 10. Kc7 Ke3 11. Kxd6 Kxd4 12. a5
PV: [+1.736/24/0.472/386,552] 1. Kb1 Kb7 2. Kc1 Kc7 3. Kd1 Kd8 4. Kc2 Kc8 5. Kd2
PV: [+1.736/25/0.677/519,667] 1. Kb1 Kb7 2. Kc1 Kc7 3. Kd1 Kd8 4. Kc2 Kc8
PV: [+1.736/26/9.231/1,349,261] 1. Kb1 Kb7 2. Kc1 Kc7 3. Kd1 Kd8 4. Kc2 Kc8 5. Kd2 Kd8 6. Kc3 Ke8 7. Kc4 Ke7
PV: [+1.914/27/9.387/1,545,560] 1. Kb1 Kb7 2. Kc1 Kc7 3. Kd1 Kd8 4. Kc2 Kc8
PV: [+1.815/28/9.747/1,741,905] 1. Kb1 Kb7 2. Kc1 Kc7 3. Kd1 Kd8 4. Kc2 Kc7 5. Kd3 Kb6 6. Ke2 Kc7 7. Kf3 Kd8 8. Kg3 Ke7 9. Kh4 Kf6 10. Kh5 Kf7 11. Kg5 Kg7 12. Kxf5 Kf7
PV: [+1.914/29/10.619/2,094,764] 1. Kb1 Kb7 2. Kc1 Kc7 3. Kd1 Kd8 4. Kc2 Kc7 5. Kd3 Kb6
PV: [+1.815/30/28.591/6,666,126] 1. Kb1 Kb7 2. Kc1 Kc7 3. Kd1 Kd7 4. Kc2 Kd8 5. Kc3 Kc7 6. Kd3 Kb6 7. Ke2 Kc7 8. Kf2 Kd8 9. Kg3 Ke8 10. Kh4 Kf8 11. Kh5 Kg7 12. Kg5 Kf7
PV: [+1.914/31/57.650/26,948,340] 1. Kb1 Kb7 2. Kc1 Kc7 3. Kd1 Kd7 4. Kc2 Kd8 5. Kc3 Kc7 6. Kd3
PV: [+1.914/32/1:06.883/33,641,722] 1. Kb1 Kb7 2. Kc1 Kc7 3. Kd1 Kd7 4. Kc2 Kd8 5. Kc3
PV: [+1.914/33/2:13.101/132,039,240] 1. Kb1 Kb7 2. Kc1 Kc7 3. Kd1 Kd7 4. Kc2 Kd8 5. Kc3 Kc7 6. Kd3 Kb6 7. Ke2 Kc7 8. Kf3 Kd8 9. Kg3 Ke8 10. Kh4 Kf7 11. Kh5 Kf6 12. Kh6 Kf7 13. Kg5
PV: [+1.914/34/5:42.575/472,280,994] 1. Kb1 Kb7 2. Kc1 Kc7 3. Kd1 Kd7 4. Kc2 Kd8 5. Kc3 Kc7
PV: [+1.914/35/6:45.662/505,807,506] 1. Kb1 Kb7 2. Kc1 Kc7 3. Kd1 Kd8 4. Kc2 Kc8 5. Kd2 Kc7 6. Kd3 Kb7 7. Ke3 Kc8 8. Kf3 Kd8 9. Kg3 Ke8 10. Kh4 Kf7 11. Kg5 Kg7 12. Kxf5 Kf7 13. Kg5 Kg7 14. f5 Kf7 15. f6 Kf8 16. Kf4 Ke8 17. Kg4 Kf8 18. Kf3
PV: [+1.914/36/7:54.485/520,486,061] 1. Kb1 Kb7 2. Kc1 Kc7 3. Kd1 Kd8 4. Kc2 Kc8