Computer Chess Club Archives


Search

Terms

Messages

Subject: ... Crafty WAC.230 analysis

Author: Dann Corbit

Date: 13:07:46 04/21/05

Go up one level in this thread


On April 21, 2005 at 13:35:37, Dann Corbit wrote:

>On April 21, 2005 at 03:22:19, Steven Edwards wrote:
>
>>On April 20, 2005 at 06:30:43, Steven Edwards wrote:
>>>On April 20, 2005 at 03:04:52, Dann Corbit wrote:
>>>>On April 18, 2005 at 17:10:40, Steven Edwards wrote:
>>
>>>It looks like another three days to go.  In the first 215 positions, a forced
>>>mate was found in 58 of them.  Symbolic's toolkit is doing the work and is
>>>searching about a quarter billion nodes maximum per problem.
>>
>>The program has now done the first 242 problems so far (one hour per position)
>>and has located 64 mates.
>>
>>Alas it has missed the solution to WAC.230:
>>
>>[D] 2b5/1r6/2kBp1p1/p2pP1P1/2pP4/1pP3K1/1R3P2/8 b - - 0 1
>
>Crafty can solve it with Jeremiah's wall detection enabled.
>Shredder solves it nicely.
>
>121 Rb4; id "WAC.230";
>    Searching move: Rb7-b4
>    Best move (Shredder 7.04 UCI): Rb7-b4
>    identical moves! Found in: 01:08
>   illegal command
>     2/3-	00:00	          36	255	+2.80	Rb7a7 Bd6a3
>     2/3	00:00	          59	418	+2.74	Rb7a7 Bd6a3
>     3/4	00:00	         196	1.390	+2.73	Rb7a7 Bd6a3 a5a4
>     3/4+	00:00	         261	1.851	+2.77	a5a4 f2f4 Rb7b5
>     3/4	00:00	         321	2.276	+2.81	a5a4 Bd6a3 Rb7h7
>     4/6	00:00	         713	5.056	+2.74	a5a4 f2f3 Rb7a7 Bd6a3
>     5/8	00:00	       2.096	14.865	+2.63	a5a4 Kg3f4 Rb7a7 Bd6a3 Ra7f7+ Kf4e3
>     5/8+	00:00	       2.760	19.574	+2.64	Rb7f7 f2f4
>     5/8	00:00	       3.470	24.609	+2.78	Rb7f7 f2f3 a5a4 Bd6a3 Bc8b7
>     6/9	00:00	       6.002	42.567	+2.64	Rb7f7 f2f3 Rf7f5 f3f4 a5a4 Rb2h2
>     6/9+	00:00	       6.992	44.820	+2.65	a5a4 Kg3f3
>     6/10	00:00	       8.960	57.435	+2.65	a5a4 Kg3f4 Rb7f7+ Kf4e3 Bc8d7
>     7/12	00:00	      15.512	90.186	+2.67	a5a4 Kg3f4 Rb7h7 Kf4e3 Rh7h3+ f2f3
>Bc8b7 Rb2b1
>     7/12+	00:00	      17.032	99.023	+2.68	Rb7f7 f2f3 Rf7f5 f3f4 a5a4 Rb2h2
>Bc8b7
>     7/12	00:00	      19.288	103.144	+2.69	Rb7f7 f2f3 a5a4 Kg3f2 Kc6b5
>     8/12	00:00	      33.714	166.078	+2.77	Rb7f7 f2f4 a5a4 Kg3f3 Rf7h7 Rb2d2
>     9/13	00:00	      74.618	298.472	+2.64	Rb7f7 f2f4 Kc6b5 Rb2h2 Bc8a6 Kg3f3
>a5a4 Bd6a3 Ba6b7
>     9/13+	00:00	      86.678	325.857	+2.65	a5a4 Kg3f4 Rb7h7 Bd6a3 Rh7h5 f2f3
>Bc8b7 Rb2b1 Kc6b5
>     9/14	00:00	     103.008	346.828	+2.67	a5a4 Kg3f4 Rb7h7 Rb2b1 Bc8b7 f2f3
>Rh7h3 Bd6e7 Kc6b5
>    10/16	00:00	     179.902	443.108	+2.66	a5a4 Bd6a3 Kc6b5 Kg3f4 Rb7h7 f2f3
>Rh7h1
>    10/16+	00:00	     192.740	456.729	+2.67	Rb7f7 f2f4 Kc6b5 Rb2h2 Bc8b7 Kg3f3
>a5a4 Bd6a3
>    10/16	00:00	     220.928	487.699	+2.67	Rb7f7 Bd6a3 Bc8d7 f2f4 Rf7h7 Rb2h2
>Rh7h5
>    10/16+	00:00	     242.620	501.280	+2.68	Rb7h7 Rb2b1 a5a4 Bd6a3
>    10/16	00:00	     266.456	532.912	+2.74	Rb7h7 Rb2b1 a5a4 Kg3f4 Bc8b7 f2f3
>Rh7h3 Bd6e7 Kc6b5 Kf4e3
>    11/18	00:00	     371.402	566.161	+2.70	Rb7h7 Rb2b1 Rh7f7 Rb1a1 Kc6b5 f2f3
>b3b2 Ra1b1 Bc8b7
>    12/21	00:01	     658.896	648.519	+2.77	Rb7h7 Rb2b1 a5a4 Kg3f4 Rh7h3 Bd6b4
>Bc8b7 f2f3 Rh3h2 Rb1a1 Kc6b5 Bb4e7
>    13/22	00:01	     957.398	688.280	+2.72	Rb7h7 Rb2b1 a5a4 Bd6a3 Kc6b5 Kg3f4
>Bc8b7 f2f3 Rh7h2 Rb1b2 Rh2h5
>    14/27	00:02	   1.516.756	719.182	+2.73	Rb7h7 Rb2b1 a5a4 Bd6a3 Kc6b5 Kg3f4
>Bc8b7 f2f3 Rh7h2 Rb1b2 Rh2h3 Kf4e3 Bb7c6 Ba3d6
>    15/28	00:04	   2.850.268	750.663	+2.75	Rb7h7 Rb2b1 Rh7h5 Kg3g4 a5a4 Rb1a1
>Kc6b5 Bd6a3 Bc8b7 Kg4f4 Kb5b6 f2f3 Kb6a5
>    16/27	00:05	   3.956.239	760.376	+2.74	Rb7h7 Rb2b1 Rh7h5 Kg3g4 a5a4 Rb1a1
>Kc6b5 Bd6a3 Rh5h7 Kg4f4 Rh7h3 f2f3 Kb5a5
>    17/30	00:08	   6.755.305	790.371	+2.75	Rb7h7 Rb2b1 Rh7h5 Kg3g4 a5a4 Rb1a1
>Kc6b5 Bd6a3 Bc8b7 Kg4f4 Rh5h3 f2f3 Bb7c6 Ba3e7 Kb5a5
>    18/31	00:11	   9.148.882	792.316	+2.77	Rb7h7 Rb2b1 Rh7h5 Kg3g4 a5a4 Bd6a3
>Bc8b7 Kg4f4 Rh5h2 Kf4g3 Rh2h8
>    19/31	00:16	  13.187.007	792.440	+2.78	Rb7h7 Rb2b1 Rh7h5 Kg3g4 a5a4 Bd6a3
>Bc8b7 Kg4f4 Kc6b5 Kf4g4 Rh5h7 Kg4g3 b3b2
>    20/33	00:25	  20.422.253	801.847	+2.79	Rb7h7 Rb2b1 Rh7h5 Kg3g4 a5a4 Bd6a3
>Bc8b7 Rb1a1 Kc6b6 Ba3c5+ Kb6b5 Ra1b1 Bb7c6 Bc5a3 Bc6d7
>    21/35	00:34	  27.710.404	806.120	+2.79	Rb7h7 Rb2b1 Rh7h5 Kg3g4 a5a4 Bd6a3
>Bc8b7 Rb1a1 Kc6b6 Ba3c5+ Kb6b5 Ra1b1 Rh5h7 Bc5a3 Kb5a6 Rb1a1 Rh7h5
>    21/41+	01:08	  56.277.246	825.894	+2.80	Rb7b4 Bd6xb4 a5xb4 c3xb4
>    21/41	02:02	 107.189.670	874.011	+3.11	Rb7b4 c3xb4 a5a4 b4b5+ Kc6xb5 Bd6a3
>c4c3 Rb2e2 Kb5c4 f2f4 Bc8d7 f4f5 e6xf5 Kg3f4 Kc4xd4 e5e6 Bd7e8
>    22/41	02:39	 137.897.543	866.261	+2.87	Rb7b4 c3xb4 a5a4 b4b5+ Kc6xb5 Bd6a3
>c4c3 Rb2e2 Kb5c4 f2f4 Kc4xd4 f4f5 e6xf5 e5e6 Kd4c4 e6e7 Bc8d7 e7e8Q d5d4 Qe8xd7
>    23/43+	04:04	 210.222.048	859.420	+3.12	Rb7b4 c3xb4 a5a4 b4b5+ Kc6xb5 Bd6a3
>c4c3 Rb2e2 Kb5c4 f2f4 Bc8d7 f4f5 e6xf5 Kg3f4 Kc4xd4 e5e6 Bd7e8
>    23/44	06:46	 353.534.529	870.809	+3.41	Rb7b4 c3xb4 a5a4 b4b5+ Kc6xb5 Bd6a3
>c4c3 Rb2e2 Kb5c4 f2f4 Bc8d7 Re2e1 Kc4xd4 Kg3f2 Kd4c4 Kf2e2 b3b2 Re1b1 Bd7b5
>Ba3xb2 Kc4b3+ Ke2f2 c3xb2 Rb1f1
>    24/41-	07:15	 377.886.714	867.739	+3.16	Rb7b4 c3xb4 a5a4 b4b5+ Kc6xb5 Bd6a3
>c4c3 Rb2e2 Kb5c4 f2f4 Bc8d7 f4f5 e6xf5 Kg3f4 Kc4xd4 e5e6 Bd7e8 Re2f2 Be8b5
>    24/42	08:15	 423.692.276	855.862	+2.91	Rb7b4 c3xb4 a5a4 b4b5+ Kc6xb5 Bd6a3
>c4c3 Rb2e2 Kb5c4 f2f4 Kc4xd4 f4f5 Bc8a6 Re2h2 e6xf5 e5e6 Ba6b5 Kg3f4 c3c2 Rh2h8
>Kd4c3
>   4/21/2005 7:58:59 AM, Time for this analysis: 00:10:00, Rated time: 14:08

Crafty, thinking for a while on WAC.230 finds the key move early (With
Jeremiah's extension).
However, the key (equally brilliant) refutation Re2 by white at move 4 is not
discovered after one hour.

Crafty v19.19

White(1): hash 512M
hash table memory =  384M bytes.
White(1): hashp 256M
pawn hash table memory =  192M bytes.
White(1): st 7200
search time set to 7200.00.
White(1): epdpfga \wac230.epd wac230cr.out
PFGA: EPD record: 1   ID: WAC.230
              time surplus   0.00  time limit 120:00 (120:00)
              depth   time  score   variation (1)
                9     0.16  -1.34   1. ... Rh7 2. Rb1 Kb5 3. Ba3 Rh5 4.
                                    Kf4 Ka4 5. Bb2 Kb5
                9->   0.31  -1.34   1. ... Rh7 2. Rb1 Kb5 3. Ba3 Rh5 4.
                                    Kf4 Ka4 5. Bb2 Kb5
               10     0.53  -1.19   1. ... Rh7 2. Rb1 Kb5 3. Ba3 Rh5 4.
                                    Kf4 Ka4 5. Bb2 Rh4+ 6. Kg3 Rh5
               10->   0.75  -1.19   1. ... Rh7 2. Rb1 Kb5 3. Ba3 Rh5 4.
                                    Kf4 Ka4 5. Bb2 Rh4+ 6. Kg3 Rh5
               11     1.09  -1.35   1. ... Rh7 2. Rb1 Kb5 3. Ba3 Rh5 4.
                                    Kf4 Bd7 5. Rb2 Ka4 6. Bc5 Rh2
               11->   1.34  -1.35   1. ... Rh7 2. Rb1 Kb5 3. Ba3 Rh5 4.
                                    Kf4 Bd7 5. Rb2 Ka4 6. Bc5 Rh2
               12     1.61     +1   1. ... Rh7
               12     1.89   0.00   1. ... Rh7 2. Rb1 Kb5 3. Ba3 Rh5 4.
                                    Kg4 a4 5. f3 Bd7 6. Rb2 Kc6 7. Rb1
               12     3.58  -1.39   1. ... Rb4 2. cxb4 a4 3. Rb1 c3 4.
                                    b5+ Kxb5 5. Kf4 c2 6. Rc1 b2 7. Rxc2
                                    b1=Q 8. Rc5+ Kb6 9. Rxc8
               12->   4.02  -1.39   1. ... Rb4 2. cxb4 a4 3. Rb1 c3 4.
                                    b5+ Kxb5 5. Kf4 c2 6. Rc1 b2 7. Rxc2
                                    b1=Q 8. Rc5+ Kb6 9. Rxc8
               13     5.89  -1.17   1. ... Rb4 2. cxb4 a4 3. b5+ Kxb5 4.
                                    Rb1 c3 5. Ra1 b2 6. Rb1 Kc4 7. Ba3
                                    Kb3 8. Bxb2 c2 9. Rc1 <HT>
               13->   7.77  -1.17   1. ... Rb4 2. cxb4 a4 3. b5+ Kxb5 4.
                                    Rb1 c3 5. Ra1 b2 6. Rb1 Kc4 7. Ba3
                                    Kb3 8. Bxb2 c2 9. Rc1 <HT>
               14    10.44  -1.17   1. ... Rb4 2. cxb4 a4 3. b5+ Kxb5 4.
                                    Rb1 c3 5. Ra1 b2 6. Rb1 Kc4 7. Ba3
                                    Kb3 8. Bxb2 c2 9. Rc1 Kxb2
               14->  12.55  -1.17   1. ... Rb4 2. cxb4 a4 3. b5+ Kxb5 4.
                                    Rb1 c3 5. Ra1 b2 6. Rb1 Kc4 7. Ba3
                                    Kb3 8. Bxb2 c2 9. Rc1 Kxb2
               15    17.45     -1   1. ... Rb4!!
               15    23.48  -1.94   1. ... Rb4 2. cxb4 a4 3. b5+ Kxb5 4.
                                    Rb1 c3 5. Ra1 b2 6. Rb1 Kc4 7. Ba3
                                    Kb3 8. Bxb2 c2 9. Re1 Kxb2 10. Re2
               15->  27.55  -1.94   1. ... Rb4 2. cxb4 a4 3. b5+ Kxb5 4.
                                    Rb1 c3 5. Ra1 b2 6. Rb1 Kc4 7. Ba3
                                    Kb3 8. Bxb2 c2 9. Re1 Kxb2 10. Re2
               16     1:03  -2.06   1. ... Rb4 2. Rb1 Ra4 3. Rc1 Ra2 4.
                                    Kf3 a4 5. Ke3 Ba6 6. f3 Bb5 7. Bb4
                                    Rh2 8. Rb1 Rh5 9. Kf4
               16->   1:11  -2.06   1. ... Rb4 2. Rb1 Ra4 3. Rc1 Ra2 4.
                                    Kf3 a4 5. Ke3 Ba6 6. f3 Bb5 7. Bb4
                                    Rh2 8. Rb1 Rh5 9. Kf4
               17     2:07  -2.06   1. ... Rb4 2. Rb1 Ra4 3. Rc1 Ra2 4.
                                    Kf3 a4 5. Ke3 Ba6 6. f3 Rh2 7. Rb1
                                    Bb5 8. Kf4 Rc2 9. Bb4 Rh2
               17->   2:31  -2.06   1. ... Rb4 2. Rb1 Ra4 3. Rc1 Ra2 4.
                                    Kf3 a4 5. Ke3 Ba6 6. f3 Rh2 7. Rb1
                                    Bb5 8. Kf4 Rc2 9. Bb4 Rh2
               18     3:59  -2.09   1. ... Rb4 2. Rb1 Ra4 3. Rc1 Ra2 4.
                                    Kf3 a4 5. Ke3 Ba6 6. f3 Bb5 7. Bc5
                                    Rh2 8. Ba3 Rh5 9. Kf4 Rh4+ 10. Kg3
                                    Rh5
               18->   4:58  -2.09   1. ... Rb4 2. Rb1 Ra4 3. Rc1 Ra2 4.
                                    Kf3 a4 5. Ke3 Ba6 6. f3 Bb5 7. Bc5
                                    Rh2 8. Ba3 Rh5 9. Kf4 Rh4+ 10. Kg3
                                    Rh5
               19     9:04  -2.18   1. ... Rb4 2. Rb1 Ra4 3. Rc1 Ra2 4.
                                    Kf3 Ba6 5. Ke3 Bb5 6. Be7 Kd7 7. Bd6
                                    Ke8 8. f3 a4 9. Rb1 <HT>
               19->  12:33  -2.18   1. ... Rb4 2. Rb1 Ra4 3. Rc1 Ra2 4.
                                    Kf3 Ba6 5. Ke3 Bb5 6. Be7 Kd7 7. Bd6
                                    Ke8 8. f3 a4 9. Rb1 <HT>
               20    22:14     -1   1. ... Rb4!!
               20    47:04  -3.54   1. ... Rb4 2. cxb4 a4 3. b5+ Kxb5 4.
                                    Rb1 c3 5. Ba3 Kc4 6. f3 Kxd4 7. Rh1
                                    Kxe5 8. Bc5 d4 9. Rd1 c2 10. Bxd4+
                                    Kd5 11. Rd2 c1=Q 12. Be3+ Ke5 13. Bf4+
                                    Kf5 14. Rd5+ exd5 15. Bxc1
               20->  55:13  -3.54   1. ... Rb4 2. cxb4 a4 3. b5+ Kxb5 4.
                                    Rb1 c3 5. Ba3 Kc4 6. f3 Kxd4 7. Rh1
                                    Kxe5 8. Bc5 d4 9. Rd1 c2 10. Bxd4+
                                    Kd5 11. Rd2 c1=Q 12. Be3+ Ke5 13. Bf4+
                                    Kf5 14. Rd5+ exd5 15. Bxc1
               21    64:45   1/16*  1. ... Rb4

[D]2b5/8/3Bp1p1/1k1pP1P1/p1pP4/1p4K1/1R3P2/8 w - - ce -211; id "WAC.230 after
Rb4 cxb4 a4 b5+ Kxb5"; pm Re2; pv Re2 c3 Ba3 Kc4 f4 Kd3 Kf3 Kxd4 f5 exf5 e6 Kd3
e7 Bd7 Re3+ Kc2 Re2+ Kb1 e8=Q Bxe8 Rxe8 Ka2 Rg8 b2 Bxb2 cxb2;



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.