Author: Dann Corbit
Date: 14:08:50 02/16/01
Go up one level in this thread
On February 16, 2001 at 16:42:44, Uri Blass wrote:
>On February 16, 2001 at 15:35:40, Lin Harper wrote:
>
>>
>> [D]8/8/8/2p5/R1P5/P5p1/P3K1p1/6k1 w
>>
>> Thanks for the help with FEN, guys. Now for the above position.
>> It's simple enough.. any club strength player would find the
>> right line in a short time. But can your comp find the mate
>> sequence?
>
>I do not agree that every club player will find the mate in a short time.
>I tried it for 1 minute without sucess.
>
>
>
>Crafty could prove a mate in 16 in less than 1 minute(56 seconds on p200).
>
>1.Ra7 Kh1(2) 2.Rh7+ Kg1 3.Kd2 Kf1(2) 4.Rf7+ Kg1 5.a4 Kh1(2) 6.Rh7+ Kg1 7.a5
>Kf1(2) 8.Rf7+ Kg1 9.a6 Kh1(2) 10.Rh7+ Kg1 11.a7 Kf1(2) 12.Rf7+ Kg1 13.a8Q Kh1(2)
>14.Qh8+ Kg1 15.Qa1+ Kh2 16.Rh7#
>
>I think that 3.Kd2 is the hardest move for humans who try to prove the mate
>because a lot will prefer 3.Kf3 that is also winning.
>
>The long move 15.Qa1+ is also not trivial to find.
>I am also not sure if mate in 16 is the shortest mate.
>
>
>Crafty 18.01 has no problem to find the mate so I guess that the problem is not
>hard for computers(at least for programs that use the single reply extension
>like Crafty).
With the tablebase files, it takes only 5 seconds. If there is a closer mate, I
think it will take a mate prover to find it.
White(1): epdpfga m16.epd m16.out
PFGA: EPD record: 1
end-game phase
clearing hash tables
time surplus 0.00 time limit 16:39 (16:39)
nss depth time score variation (1)
10 0.13 14.96 1. Ra6 Kh2 2. Rh6+ Kg1 3. Kd2 Kf2 4.
Rf6+ Kg1 5. Rf5 Kh2 6. Rh5+ Kg1 7.
Rxc5 Kh2 8. Rh5+ Kg1 9. c5
10-> 0.15 14.96 1. Ra6 Kh2 2. Rh6+ Kg1 3. Kd2 Kf2 4.
Rf6+ Kg1 5. Rf5 Kh2 6. Rh5+ Kg1 7.
Rxc5 Kh2 8. Rh5+ Kg1 9. c5
11 0.21 -- 1. Ra6
11 0.26 13.11 1. Ra6 Kh2 2. Rh6+ Kg1 3. Kd2 Kf2 4.
Rf6+ Kg1 5. Rf5 Kh2 6. Rh5+ Kg1 7.
Rxc5 Kh2 8. Rh5+ Kg1 9. c5 Kf2
11 0.27 ++ 1. Ra8!!
11-> 0.31 13.50 1. Ra8
12 0.31 ++ 1. Ra8!!
12 0.37 15.79 1. Ra8 Kh2 2. Rh8+ Kg1 3. Kd2 Kf1 4.
Rf8+ Kg1 5. Rf5 Kh2 6. Rh5+ Kg1 7.
Rxc5 Kf1 8. Rf5+ Kg1 9. c5 Kh2 10.
Rh5+ Kg1 11. c6
12-> 0.42 15.79 1. Ra8 Kh2 2. Rh8+ Kg1 3. Kd2 Kf1 4.
Rf8+ Kg1 5. Rf5 Kh2 6. Rh5+ Kg1 7.
Rxc5 Kf1 8. Rf5+ Kg1 9. c5 Kh2 10.
Rh5+ Kg1 11. c6
13 0.60 -- 1. Ra8
13 0.66 ++ 1. Ra8!!
13 0.66 21.52 1. Ra8 Kh2 2. Rh8+ Kg1 3. Kd2 Kf1 4.
Rf8+ Kg1 5. a4 Kh2 6. Rh8+ Kg1 7. a5
Kf1 8. Rf8+ Kg1 9. a6 Kh2 10. Rh8+
Kg1 11. a7 Kf1 12. Rf8+ Kg1 13. a8=Q
13-> 0.75 21.52 1. Ra8 Kh2 2. Rh8+ Kg1 3. Kd2 Kf1 4.
Rf8+ Kg1 5. a4 Kh2 6. Rh8+ Kg1 7. a5
Kf1 8. Rf8+ Kg1 9. a6 Kh2 10. Rh8+
Kg1 11. a7 Kf1 12. Rf8+ Kg1 13. a8=Q
14 0.95 21.52 1. Ra8 Kh2 2. Rh8+ Kg1 3. Kd2 Kf1 4.
Rf8+ Kg1 5. a4 Kh2 6. Rh8+ Kg1 7. a5
Kf1 8. Rf8+ Kg1 9. a6 Kh2 10. Rh8+
Kg1 11. a7 Kf1 12. Rf8+ Kg1 13. a8=Q
14-> 1.08 21.52 1. Ra8 Kh2 2. Rh8+ Kg1 3. Kd2 Kf1 4.
Rf8+ Kg1 5. a4 Kh2 6. Rh8+ Kg1 7. a5
Kf1 8. Rf8+ Kg1 9. a6 Kh2 10. Rh8+
Kg1 11. a7 Kf1 12. Rf8+ Kg1 13. a8=Q
15 1.82 -- 1. Ra8
15 2.58 19.84 1. Ra8 Kh2 2. Rh8+ Kg1 3. Kd2 Kf1 4.
Rf8+ Kg1 5. a4 Kh2 6. Rh8+ Kg1 7. a5
Kf1 8. Rf8+ Kg1 9. a6 Kh2 10. Rh8+
Kg1 11. a7 Kf1 12. Rf8+ Kg1 13. a8=Q
Kh2
15-> 3.15 19.84 1. Ra8 Kh2 2. Rh8+ Kg1 3. Kd2 Kf1 4.
Rf8+ Kg1 5. a4 Kh2 6. Rh8+ Kg1 7. a5
Kf1 8. Rf8+ Kg1 9. a6 Kh2 10. Rh8+
Kg1 11. a7 Kf1 12. Rf8+ Kg1 13. a8=Q
Kh2
16 3.18 ++ 1. Ra8!!
16 4.42 22.26 1. Ra8 Kh2 2. Rh8+ Kg1 3. Kd2 Kf1 4.
Rf8+ Kg1 5. Rf5 Kh2 6. Rh5+ Kg1 7.
Rxc5 Kf1 8. Rf5+ Kg1 9. c5 Kh2 10.
Rh5+ Kg1 11. c6 Kf2 12. Rf5+ Kg1 13.
c7 Kh2 14. Rh5+ Kg1 15. c8=Q
16 5.00 ++ 1. Ra7!!
16 5.24 Mat16 1. Ra7 Kh2 2. Rh7+ Kg1 3. Kd2 Kf1 4.
Rf7+ Kg1 5. a4 Kh2 6. Rh7+ Kg1 7. a5
Kf1 8. Rf7+ Kg1 9. a6 Kh2 10. Rh7+
Kg1 11. a7 Kf1 12. Rf7+ Kg1 13. a8=Q
Kh2 14. Qh8+ Kg1 15. Qa1+ Kh2 16. Rh7#
16-> 5.30 Mat16 1. Ra7 Kh2 2. Rh7+ Kg1 3. Kd2 Kf1 4.
Rf7+ Kg1 5. a4 Kh2 6. Rh7+ Kg1 7. a5
Kf1 8. Rf7+ Kg1 9. a6 Kh2 10. Rh7+
Kg1 11. a7 Kf1 12. Rf7+ Kg1 13. a8=Q
Kh2 14. Qh8+ Kg1 15. Qa1+ Kh2 16. Rh7#
17 9.01 Mat16 1. Ra7 Kh2 2. Rh7+ Kg1 3. Kd2 Kf1 4.
Rf7+ Kg1 5. a4 Kh2 6. Rh7+ Kg1 7. a5
Kf1 8. Rf7+ Kg1 9. a6 Kh2 10. Rh7+
Kg1 11. a7 Kf1 12. Rf7+ Kg1 13. a8=Q
Kh2 14. Qh8+ Kg1 15. Qa1+ Kh2 16. Rh7#
17-> 10.59 Mat16 1. Ra7 Kh2 2. Rh7+ Kg1 3. Kd2 Kf1 4.
Rf7+ Kg1 5. a4 Kh2 6. Rh7+ Kg1 7. a5
Kf1 8. Rf7+ Kg1 9. a6 Kh2 10. Rh7+
Kg1 11. a7 Kf1 12. Rf7+ Kg1 13. a8=Q
Kh2 14. Qh8+ Kg1 15. Qa1+ Kh2 16. Rh7#
18 18.86 Mat16 1. Ra7 Kh2 2. Rh7+ Kg1 3. Kd2 Kf1 4.
Rf7+ Kg1 5. a4 Kh2 6. Rh7+ Kg1 7. a5
Kf1 8. Rf7+ Kg1 9. a6 Kh2 10. Rh7+
Kg1 11. a7 Kf1 12. Rf7+ Kg1 13. a8=Q
Kh2 14. Qh8+ Kg1 15. Qa1+ Kh2 16. Rh7#
18-> 22.24 Mat16 1. Ra7 Kh2 2. Rh7+ Kg1 3. Kd2 Kf1 4.
Rf7+ Kg1 5. a4 Kh2 6. Rh7+ Kg1 7. a5
Kf1 8. Rf7+ Kg1 9. a6 Kh2 10. Rh7+
Kg1 11. a7 Kf1 12. Rf7+ Kg1 13. a8=Q
Kh2 14. Qh8+ Kg1 15. Qa1+ Kh2 16. Rh7#
19 43.12 Mat16 1. Ra7 Kh2 2. Rh7+ Kg1 3. Kd2 Kf1 4.
Rf7+ Kg1 5. a4 Kh2 6. Rh7+ Kg1 7. a5
Kf1 8. Rf7+ Kg1 9. a6 Kh2 10. Rh7+
Kg1 11. a7 Kf1 12. Rf7+ Kg1 13. a8=Q
Kh2 14. Qh8+ Kg1 15. Qa1+ Kh2 16. Rh7#
19-> 51.70 Mat16 1. Ra7 Kh2 2. Rh7+ Kg1 3. Kd2 Kf1 4.
Rf7+ Kg1 5. a4 Kh2 6. Rh7+ Kg1 7. a5
Kf1 8. Rf7+ Kg1 9. a6 Kh2 10. Rh7+
Kg1 11. a7 Kf1 12. Rf7+ Kg1 13. a8=Q
Kh2 14. Qh8+ Kg1 15. Qa1+ Kh2 16. Rh7#
20 1:39 Mat16 1. Ra7 Kh2 2. Rh7+ Kg1 3. Kd2 Kf1 4.
Rf7+ Kg1 5. a4 Kh2 6. Rh7+ Kg1 7. a5
Kf1 8. Rf7+ Kg1 9. a6 Kh2 10. Rh7+
Kg1 11. a7 Kf1 12. Rf7+ Kg1 13. a8=Q
Kh2 14. Qh8+ Kg1 15. Qa1+ Kh2 16. Rh7#
20-> 2:03 Mat16 1. Ra7 Kh2 2. Rh7+ Kg1 3. Kd2 Kf1 4.
Rf7+ Kg1 5. a4 Kh2 6. Rh7+ Kg1 7. a5
Kf1 8. Rf7+ Kg1 9. a6 Kh2 10. Rh7+
Kg1 11. a7 Kf1 12. Rf7+ Kg1 13. a8=Q
Kh2 14. Qh8+ Kg1 15. Qa1+ Kh2 16. Rh7#
21 4:27 Mat16 1. Ra7 Kh2 2. Rh7+ Kg1 3. Kd2 Kf1 4.
Rf7+ Kg1 5. a4 Kh2 6. Rh7+ Kg1 7. a5
Kf1 8. Rf7+ Kg1 9. a6 Kh2 10. Rh7+
Kg1 11. a7 Kf1 12. Rf7+ Kg1 13. a8=Q
Kh2 14. Qh8+ Kg1 15. Qa1+ Kh2 16. Rh7#
21-> 6:08 Mat16 1. Ra7 Kh2 2. Rh7+ Kg1 3. Kd2 Kf1 4.
Rf7+ Kg1 5. a4 Kh2 6. Rh7+ Kg1 7. a5
Kf1 8. Rf7+ Kg1 9. a6 Kh2 10. Rh7+
Kg1 11. a7 Kf1 12. Rf7+ Kg1 13. a8=Q
Kh2 14. Qh8+ Kg1 15. Qa1+ Kh2 16. Rh7#
22 14:41 Mat16 1. Ra7 Kh2 2. Rh7+ Kg1 3. Kd2 Kf1 4.
Rf7+ Kg1 5. a4 Kh2 6. Rh7+ Kg1 7. a5
Kf1 8. Rf7+ Kg1 9. a6 Kh2 10. Rh7+
Kg1 11. a7 Kf1 12. Rf7+ Kg1 13. a8=Q
Kh2 14. Qh8+ Kg1 15. Qa1+ Kh2 16. Rh7#
time=16:39 cpu=99% mat=5 n=800219662 fh=45% nps=800996
ext-> chk=63799988 cap=0 pp=3739483 1rep=4059434 mate=90059
predicted=0 nodes=800219662 evals=16605565
endgame tablebase-> probes done=152730 successful=14072
White(1): quit
This page took 0 seconds to execute
Last modified: Thu, 15 Apr 21 08:11:13 -0700
Current Computer Chess Club Forums at Talkchess. This site by Sean Mintz.