Author: Dennis Breuker
Date: 01:23:22 11/14/01
Go up one level in this thread
On November 14, 2001 at 02:07:13, Gian-Carlo Pascutto wrote:
>On November 13, 2001 at 22:06:48, Dann Corbit wrote:
>
>>I rather suspect that nothing is going to compete with ChessMaster here. Even
>>dedicated mate solvers will have a time beating that speed.
>
>Ahem.
>
>Sjeng: prove
>
>Max time to search (s): 60
>
>P: 0 D: 100000000 N: 66454 S: 66453 Mem: 2.79M Iters: 1731 MaxDepth: 27
>Time : 0.630000
>This position is WON.
>PV: f1f8 d7f8 g5f7 h8h7 e4e5 g4f5 d1h5
>
>0.6 seconds
Great! Of course, a mate solver is something else as a "normal"
playing program. The strength of The King (Chessmaster) is that#
it finds these mates in the normal playing program.
Duck 1992, using proof number search (a mate solver only),
finds a mate in 17(!) in 0.95 sec. after 41255 nodes searched:
1.e7-g6 h8-g8 2.f1xf8 d7xf8 3.g6-e7 g8-h8 4.g5-f7 h8-h7
5.e4-e5 f8-g6 6.d3xg6 mat
5. .. g7-g6 6.d1-d2 f8-d7 7.d2-h6 mat
6. .. b8-d7 7.d2-h6 mat
6. .. b8-a6 7.d2-h6 mat
6. .. h7-g7 7.d2-h6 g7xf7 8.d3xg6 f8xg6
9.h6xg6 f7-f8 10.g6-g8 f8xe7 11.c7-d6 e7-d7 12.g8-f7 d7-d8
13.f7-f8 d8-d7 14.f8-e7 d7-c8 15.e7-e8 mat
12. .. d7-c8
13.f7-e8 mat
9. .. f7xe7 10.g6-g7 e7-e8 11.g7-g8 e8-e7 12.c7-d6 e7-d7
13.g8-f7 d7-d8 14.f7-f8 d8-d7 15.f8-e7 d7-c8 16.e7-e8 mat
13. .. d7-c8 14.f7-e8 mat
11. .. e8-d7 12.g8-d8 mat
8. .. f7xe7
9.h6-g7 mat
6. .. b7-b6 7.d2-h6 mat
6. .. b7-b5 7.d2-h6 mat
6. .. a7-a6 7.d2-h6 mat
6. .. a7-a5 7.d2-h6 mat
6. .. c6-c5 7.d2-h6 mat
6. .. h5-h4 7.d2-h6 mat
6. .. g4-f5 7.d2-h6 mat
6. .. g4-h3 7.d2-h6 mat
6. .. g4-f3 7.d2-h6 mat
6. .. g4-e2 7.d2-h6 mat
6. .. g4-d1 7.d2-h6 mat
6. .. d4-b6 7.d2-h6 mat
6. .. d4xe5 7.d2-h6 mat
6. .. d4-c5 7.d2-h6 mat
6. .. d4-e3 7.d2xe3 f8-d7 8.e3-h6 mat
7. .. b8-d7 8.e3-h6 mat
7. .. b8-a6 8.e3-h6 mat
7. .. h7-g7 8.e3-h6 g7xf7
9.d3xg6 f8xg6 10.h6xg6 f7-f8 11.g6-g8 f8xe7 12.c7-d6 e7-d7
13.g8-f7 d7-d8 14.f7-f8 d8-d7 15.f8-e7 d7-c8 16.e7-e8 mat
13. .. d7-c8 14.f7-e8 mat
10. .. f7xe7 11.g6-g7 e7-e8 12.g7-g8 e8-e7
13.c7-d6 e7-d7 14.g8-f7 d7-d8 15.f7-f8 d8-d7 16.f8-e7 d7-c8
17.e7-e8 mat
14. .. d7-c8 15.f7-e8 mat
12. .. e8-d7
13.g8-d8 mat
9. .. f7xe7 10.h6-g7 mat
7. .. b7-b6 8.e3-h6 mat
7. .. b7-b5 8.e3-h6 mat
7. .. a7-a6 8.e3-h6 mat
7. .. a7-a5 8.e3-h6 mat
7. .. c6-c5 8.e3-h6 mat
7. .. h5-h4 8.e3-h6 mat
7. .. g4-f5 8.e3-h6 mat
7. .. g4-h3 8.e3-h6 mat
7. .. g4-f3 8.e3-h6 mat
7. .. g4-e2 8.e3-h6 mat
7. .. g4-d1 8.e3-h6 mat
7. .. a4-a6 8.e3-h6 mat
7. .. a4-b5 8.e3-h6 mat
7. .. a4-a5 8.e3-h6 mat
7. .. a4-f4 8.e3xf4 f8-d7
9.f4-h6 mat
8. .. b8-d7
9.f4-h6 mat
8. .. b8-a6
9.f4-h6 mat
8. .. h7-g7
9.f4-f6 g7-h7 10.f6-h8 mat
8. .. b7-b6
9.f4-h6 mat
8. .. b7-b5
9.f4-h6 mat
8. .. a7-a6
9.f4-h6 mat
8. .. a7-a5
9.f4-h6 mat
8. .. c6-c5
9.f4-h6 mat
8. .. h5-h4
9.f4-h6 mat
8. .. g4-f5
9.f4-h6 mat
8. .. g4-h3
9.f4-h6 mat
8. .. g4-f3
9.f4-h6 mat
8. .. g4-e2
9.f4-h6 mat
8. .. g4-d1
9.f4-h6 mat
7. .. a4-e4 8.e3-h6 mat
7. .. a4-d4 8.e3-h6 mat
7. .. a4-c4 8.e3-h6 mat
7. .. a4-b4 8.e3-h6 mat
7. .. a4-b3 8.e3-h6 mat
7. .. a4-a3 8.e3-h6 mat
7. .. a4xc2 8.e3-h6 mat
7. .. a4xa2 8.e3-h6 mat
6. .. d4-c3 7.d2-h6 mat
6. .. d4-f2 7.d2-h6 mat
6. .. d4xb2 7.d2-h6 mat
6. .. d4-g1 7.d2-h6 mat
6. .. a4-a6 7.d2-h6 mat
6. .. a4-b5 7.d2-h6 mat
6. .. a4-a5 7.d2-h6 mat
6. .. a4-c4 7.d2-h6 mat
6. .. a4-b4 7.d2-h6 mat
6. .. a4-b3 7.d2-h6 mat
6. .. a4-a3 7.d2-h6 mat
6. .. a4xc2 7.d2-h6 mat
6. .. a4xa2 7.d2-h6 mat
5. .. g4-f5 6.d1xh5 mat
*** MAT IN 17 ***
Dennis
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.