Michael Sherwin wrote:As a human, I can see instantly that NxN wins. (the fastest?)
note: No table bases or bitbases used. Please do not suggest them as a valid answear to this question. I do not even know if they are warrented here.
Glaurung 2 epsilon takes 20 ply to determine this.
TogaII can not determine it, given 21 ply.
Rybka beta 1.0 can not determine it, given 21 ply!
What programming is needed to spot this in reasonable time?
[d]8/3nk1p1/1N3p2/P6p/8/2K5/6PP/8 w - - 0 43
I do not know what programming is needed but for instance Pro Deo 1.5 Test13 has no problems finding the move:
8/3nk1p1/1N3p2/P6p/8/2K5/6PP/8 w - -
Engine: ProDeo 1.5 wb2uci (256 MB, Athlon 2009 MHz)
gemaakt door Ed Schröder
11.00 0:00 +0.87 1.Kb4 Pxb6 2.axb6 Kd8 3.Kb5 Kc8
4.Ka6 Kb8 5.h4 f5 6.b7 g6 7.Kb6 (1.339.387) 1339387
12.01 0:01 +0.86 1.Kb4 Pxb6 2.axb6 Kd8 3.Kb5 Kc8
4.Ka6 Kb8 5.h4 g6 6.b7 g5 7.hxg5 fxg5
8.Kb6 g4 9.Kc6 h4 (2.198.682) 2198
13.01 0:02 +0.86 1.Kb4 Pxb6 2.axb6 Kd8 3.Kb5 Kc8
4.Ka6 Kb8 5.h4 g6 6.b7 g5 7.hxg5 fxg5
8.Kb6 g4 9.Kc6 h4 (4.230.600) 2115
14.01 0:04 +0.80 1.Kb4 Pxb6 2.axb6 Kd8 3.Kb5 Kc8
4.Ka6 Kb8 5.h3 h4 6.b7 g6 7.Kb6 f5
8.Ka6 g5 9.Kb6 g4 10.hxg4 fxg4
11.Ka6 Kc7 12.Ka7 (7.696.461) 1924
14.03 0:06 +0.89 1.Kc4 Pxb6+ 2.axb6 Kd7 3.Kd5 h4 4.g4 g6
5.h3 f5 6.gxf5 gxf5 7.Ke5 Kc6 8.Kxf5 Kxb6
9.Kg5 Kc5 10.Kxh4 (11.576.826) 1929
15.01 0:10 +0.89 1.Kc4 Pxb6+ 2.axb6 Kd7 3.Kd5 h4 4.g4 g6
5.h3 f5 6.gxf5 gxf5 7.Ke5 Kc6 8.Kxf5 Kxb6
9.Kg5 Kc5 10.Kxh4 (18.005.759) 1800
16.01 0:29 +1.62 1.Kc4 Pb8 2.Kb5 Kd6 3.a6 Pxa6 4.Kxa6 Ke5
5.Kb5 h4 6.Kc5 g5 7.Pc4+ Ke4 8.g3 f5 (52.258.171) 1802
16.03 0:37 +1.62 1.Pxd7 (64.485.940) 1742
16.03 0:39 +1.86 1.Pxd7 Kxd7 2.Kd3 Kc6 3.Ke4 g6 (69.267.740) 1776
17.01 0:54 +2.38 1.Pxd7 Kxd7 2.Kd3 Kc6 3.Ke4 g6 (96.442.939) 1785
18.01 1:12 +2.38 1.Pxd7 Kxd7 2.Kd3 Kc6 3.Ke4 g6 (132.037.462) 1833
19.01 2:32 +2.70 1.Pxd7 Kxd7 2.Kd3 g6 (279.633.658) 1839
20.01 8:48 +3.85 1.Pxd7 Kxd7 2.Kd4 Kc6 3.h4 Kb5 4.Ke4 g6
5.Kd5 Kxa5 6.Ke6 f5 7.g3 Kb6 8.Kd7 Kc5
9.Ke7 Kd4 10.Ke6 Ke3 (990.893.008) 1876
Pro Deo 1.5 Test16 is faster, needing 9 seconds to find Nxd7:
8/3nk1p1/1N3p2/P6p/8/2K5/6PP/8 w - -
Engine: ProDeo 1.5 wb2uci (0 MB)
gemaakt door Ed Schröder
10.00 0:00 +0.85 1.Kb4 Pxb6 2.axb6 Kd8 3.Kb5 Kc8
4.Ka6 Kb8 5.h4 f5 6.b7 g6 7.Kb6 f4
8.Kc6 (448.542) 448542
10.00 0:00 +0.92 1.Pd5+ Kd6 2.Pf4 Kc5 3.Pe6+ Kb5
4.Pxg7 h4 5.Pf5 Pe5 6.Kd4 Kxa5
7.Pxh4 (631.274) 631274
11.00 0:00 +0.63 1.Pd5+ Kd6 2.Pf4 g5 3.Pxh5 Kc5 4.h4 gxh4
5.a6 Kb6 (1.296.910) 1296910
11.00 0:00 +0.85 1.Kb4 Pxb6 2.axb6 Kd8 3.Kb5 Kc8
4.Ka6 Kb8 5.h4 f5 6.b7 g6 7.Kb6 f4
8.Kc6 (1.376.044) 1376044
12.01 0:01 +0.83 1.Kb4 Pxb6 2.axb6 Kd8 3.Kb5 Kc8
4.Ka6 Kb8 5.h4 g5 6.hxg5 fxg5 7.b7 g4
8.Kb6 h4 9.Kc6 (2.133.495) 2133
12.04 0:01 +0.83 1.Kc4 (2.780.295) 2780
12.04 0:01 +1.00 1.Kc4 Pxb6+ 2.axb6 Kd8 3.Kd5 Kd7
4.h4 Kc8 5.Kc6 Kb8 6.b7 g6 7.Kb6 g5
8.hxg5 fxg5 9.Kc6 Ka7 (3.071.434) 3071
13.01 0:02 +1.00 1.Kc4 Pxb6+ 2.axb6 Kd8 3.Kd5 Kd7
4.h4 Kc8 5.Kc6 Kb8 6.b7 g6 7.Kb6 g5
8.hxg5 fxg5 9.Kc6 Ka7 (3.860.585) 1930
14.01 0:05 +0.89 1.Kc4 Pxb6+ 2.axb6 Kd8 3.Kd5 Kd7
4.g3 h4 5.gxh4 g6 6.Kc5 f5 7.Kd5 Kc8
8.h3 Kb7 9.Kc5 (9.337.172) 1867
14.07 0:09 +1.12 1.Pxd7 Kxd7 2.Kd3 Kc6 3.g3 g6 4.Ke4 h4
5.gxh4 Kb5 6.h3 Kxa5 7.h5 gxh5 8.Kf5 Kb5
9.Kxf6 Kc5 10.Kg5 Kd5 11.h4 Ke4
12.Kxh5 (15.879.038) 1764
15.01 0:10 +1.12 1.Pxd7 Kxd7 2.Kd3 Kc6 3.Ke4 g6 4.h4 Kb5
5.Kd5 Kxa5 6.g3 g5 7.Ke6 Kb6 8.Kxf6 gxh4
9.gxh4 Kc5 10.Kg5 Kd5 11.Kxh5 (17.714.947) 1771
16.01 0:24 +1.66 1.Pxd7 Kxd7 2.Kd4 Kc6 3.a6 h4 4.h3 Kb6
5.Ke4 Kxa6 6.Kf5 Ka7 7.Kg6 f5 8.Kxf5 Kb6
9.Kg6 Kc5 10.Kxg7 Kd6 (42.122.123) 1755
17.01 0:38 +1.66 1.Pxd7 Kxd7 2.Kd4 Kc6 3.a6 h4 4.a7 Kb7
5.g3 Kxa7 6.gxh4 Kb6 7.Ke4 g6 8.Kd5 f5
9.h5 gxh5 10.Ke5 Kc5 11.Kxf5 Kd5 (68.488.300) 1802
18.01 1:26 +2.61 1.Pxd7 Kxd7 2.Kd4 Kc6 3.a6 Kb6 4.Ke4 Kxa6
5.Kf5 Kb6 6.Kg6 f5 7.Kxg7 f4 8.h4 Kc5
9.Kg6 Kd5 10.Kxh5 Ke5 11.Kg5 Ke4
12.h5 (155.841.155) 1812
19.01 2:20 +2.61 1.Pxd7 Kxd7 2.Kd4 Kc6 3.Ke4 g6 4.h3 Kc5
5.g3 Kb5 6.Kd4 Kxa5 7.Kd5 f5 8.Kc6 f4
9.gxf4 Kb4 10.h4 Ka4 (255.681.072) 1826
20.01 8:51 +3.08 1.Pxd7 Kxd7 2.Kd4 Kc6 3.h4 Kb5 4.Ke4 g6
5.Kd5 g5 6.hxg5 fxg5 7.Ke5 Kc6 8.Ke4 Kc7
9.Kf5 g4 10.Kg5 g3 (994.674.045) 1873
Both have
[Pruning = MISC_37] * Hash Table extension (-18%) OFF
by the way, so the PV extension from Ed is switched off, but other extensions are switched on so that is the main reason I think why this extension seemed to bring not much extra, in most Test.eng personality files this is switched off but in most Singular Checks is kept on, at least I think with the following switches incorporated three other extensions are switched on at the moment;
[Pruning = MISC_30] * Extend singular checks
[Pruning = MISC_11] * Allow Botvinnik-Markoff Extension
[Pruning = MISC_36] * Extend double attacks (W6) at the leafs
Pro Deo 1.5 Default:
8/3nk1p1/1N3p2/P6p/8/2K5/6PP/8 w - -
Engine: ProDeo 1.5 wb2uci (256 MB)
gemaakt door Ed Schröder
11.00 0:01 +0.62 1.Pd5+ Kd6 2.Pf4 g5 3.Pd3 Kc6 4.Kb4 Kb7
5.Kb5 f5 6.g3 (2.052.469) 2052
11.02 0:01 +0.87 1.Pc8+ Kd8 2.Pd6 Pb8 3.Kb4 Kd7 4.Pe4 Pc6+
5.Kb5 Kc7 6.Ka6 h4 7.g4 hxg3 8.hxg3 (2.338.520) 2338
12.01 0:03 +0.83 1.Pc8+ Kd8 2.Pd6 Pb8 3.Kc4 Kd7 4.Pb7 Pc6
5.Kb5 Kc7 6.Ka6 Pb4+ 7.Ka7 Pc6+
8.Ka8 Pb4 9.Ka7 Pc6+ 10.Ka8 Pb4 (5.329.153) 1776
12.05 0:04 +0.83 1.Kc4 (7.888.368) 1972
12.05 0:05 +1.46 1.Kc4 Pxb6+ 2.axb6 Kd8 3.Kd5 Kd7
4.Ke4 h4 5.Kf5 Kc6 6.Kg6 f5 7.Kxf5 Kxb6
8.Kg5 h3 9.gxh3 Kc5 (9.299.156) 1859
13.01 0:06 +1.46 1.Kc4 Pxb6+ 2.axb6 Kd8 3.Kd5 Kd7
4.Ke4 h4 5.Kf5 Kc6 6.Kg6 f5 7.Kxf5 Kxb6
8.Kg5 h3 9.gxh3 Kc5 (11.524.853) 1920
14.01 0:15 +1.80 1.Kc4 Pxb6+ 2.axb6 Kd8 3.Kd5 Kd7
4.Ke4 g6 5.Kd5 h4 6.h3 Kc8 7.Ke6 f5
8.Kf6 f4 9.Kxg6 Kb7 10.Kf6 Kxb6
11.Kg5 Kc5 12.Kxh4 Kd5 (28.390.938) 1892
15.01 0:24 +1.80 1.Kc4 Pxb6+ 2.axb6 Kd8 3.Kd5 Kd7
4.Ke4 g6 5.Kd5 h4 6.h3 Kc8 7.Ke6 f5
8.Kf6 f4 9.Kxg6 Kb7 10.Kf6 Kxb6
11.Kg5 Kc5 12.Kxf4 Kd5 (44.045.227) 1835
15.16 0:42 +1.80 1.Pxd7 (78.598.622) 1871
15.16 0:44 +2.29 1.Pxd7 Kxd7 2.Kd4 Kc6 3.h3 g6 4.a6 h4
5.a7 Kb7 6.Kd5 f5 7.Ke5 Kxa7 8.Kf6 f4
9.Kxg6 Kb7 10.Kg5 f3 11.gxf3 Kc6
12.Kxh4 Kd5 (83.011.916) 1886
16.01 0:46 +2.29 1.Pxd7 Kxd7 2.Kd4 Kc6 3.h3 g6 4.a6 h4
5.a7 Kb7 6.Kd5 f5 7.Ke5 Kxa7 8.Kf6 f4
9.Kxg6 Kb7 10.Kg5 f3 11.gxf3 Kc6
12.Kxh4 Kd5 (86.172.746) 1873
17.01 1:50 +3.12 1.Pxd7 Kxd7 2.Kd4 Kc6 3.h3 g6 4.a6 h4
5.a7 Kb7 6.Kd5 f5 7.Kd4 g5 8.Ke3 f4+ (205.218.922) 1865
18.01 4:42 +3.11 1.Pxd7 Kxd7 2.g3 Kc6 3.Kd4 h4 4.a6 h3
5.Kc4 g6 6.a7 Kb7 (523.436.798) 1856
Eelco