> C.Bayer, "Unsterbliches Schachproblem", mate in 9
LE
f 3Q4/5q1k/4ppp1/2Kp1N1B/RR6/3P1r2/4nP1b/3b4
z9w
..
CHEST version 3.19, 18-Dec-1999
Options = -M 42 -SL
Input file: 'i.bayE'
Reading job:
#	C.Bayer, "Unsterbliches Schachproblem", mate in 9
W:  Kc5 Qd8 Ra4 Rb4 Bh5 Nf5 Pd3 Pf2 (8)
B:  Kh7 Qf7 Rf3 Bd1 Bh2 Ne2 Pd5 Pe6 Pf6 Pg6 (10)
FEN: 3Q4/5q1k/4ppp1/2Kp1N1B/RR6/3P1r2/4nP1b/3b4 w - -
analysing (mate in 9 moves):
Solution (in 9 moves):
	Rb4 - b7 
refu  1: Bxg6+   Kxg6    [  8-]
refu  2: Qg8+    Qxg8    [  8-]
refu  3: Qh8+    Kxh8    [  8-]
refu  4: d4      Rc3+    [  8-]
refu  5: Nd6     Bxd6+   [  8-]
refu  6: Nd4     Qc7+    [  8-]
refu  7: Ne7     Bd6+    [  8-]
solu         21: Qxe7+   [  6+]
refu  8: Ne3     Qc7+    [  8-]
refu  9: Ng7     Qc7+    [  8-]
refu 10: Ng3     Bxg3    [  8-]
refu 11: Nh6     Qc7+    [  8-]
refu 12: Nh4     Qc7+    [  8-]
refu 13: Bg4     Qc7+    [  8-]
refu 14: Bxf3    Nf4     [  8-]
solu          6: Qc7+    [  5+]
solu         22: Bd6+    [  6+]
solu         23: Qf8+    [  4+]
solu         24: Qe7+    [  2+]
solu         25: Qa7+    [  2+]
solu         26: Nc3     [  1+]
solu         27: Bg1     [  1+]
solu         28: Nc1     [  1+]
refu 15: Rc4     Qc7+    [  8-]
refu 16: Rd4     Qc7+    [  8-]
refu 17: Re4     Qc7+    [  8-]
refu 18: Rf4     Bxf4    [  8-]
solu          1: Qc7+    [  2+]
solu          2: Qf8+    [  2+]
solu          3: Qe7+    [  2+]
solu          4: Qa7+    [  1+]
refu 19: Rg4     Nf4     [  8-]
solu          5: Qc7+    [  4+]
solu          7: Bd6+    [  5+]
solu          8: Qf8+    [  3+]
solu          9: Nc3     [  4+]
solu         10: Qe7+    [  2+]
solu         11: Qa7+    [  2+]
solu         12: Rxd3    [  4+]
solu         13: Nd4     [  4+]
solu         14: Rxf5    [  5+]
solu         15: Nc1     [  4+]
refu 20: Rh4     Rxf5    [  8-]
solu         16: Qc7+    [  5+]
solu         29: Bd6+    [  6+]
solu         30: Qf8+    [  3+]
solu         31: Nc3     [  1+]
solu         32: Qe7+    [  2+]
solu         33: Qa7+    [  2+]
solu         34: Rxd3    [  1+]
solu         35: Nd4     [  1+]
solu         36: Nc1     [  1+]
solu         37: Nf4     [  5+]
refu 21: Rb5     Bd6+    [  8-]
refu 22: Rb6     Qc7+    [  8-]
refu 23: Rb7     Qxb7    [  7-]
solu         17: Qc7+    [  3+]
solu         18: Bd6+    [  5+]
solu         19: Nc3     [  1+]
solu         20: Rxd3    [  1+]
solu         38: Qxb7    [  8+]
solu         39: Qe7+    [  1+]
solu         40: Nf4     [  1+]
solu         41: Rxf5    [  3+]
solu         42: Bg1     [  1+]
solu         43: Nc1     [  1+]
solu         44: Nd4     [  1+]
solu         45: Rf4     [  1+]
solu         46: Ng3     [  1+]
solu         47: Bxa4    [  1+]
solu         48: gxf5    [  3+]
solu         49: exf5    [  4+]
solu         50: d4      [  1+]
solu         51: gxh5    [  2+]
solu         52: Bc7     [  3+]
solu         53: g5      [  1+]
solu         54: Be5     [  1+]
solu         55: Bc2     [  1+]
solu         56: Rh3     [  1+]
solu         57: Rxf2    [  1+]
solu         58: Bg3     [  1+]
solu         59: Bf4     [  1+]
solu         60: Bb8     [  1+]
solu         61: Bb3     [  1+]
solu         62: Qd7     [  1+]
solu         63: e5      [  1+]
solu         64: Ng1     [  1+]
solu         65: Rg3     [  1+]
solu         66: Re3     [  1+]
solu         67: Qg7     [  1+]
refu 24: Rb8     Qc7+    [  8-]
refu 25: Rb3     Qc7+    [  8-]
refu 26: Rb2     Qc7+    [  8-]
refu 27: Rb1     Qc7+    [  8-]
refu 28: Ra5     Qc7+    [  8-]
refu 29: Ra6     Qc7+    [  8-]
refu 30: Ra7     Qxa7+   [  8-]
refu 31: Ra8     Qc7+    [  8-]
refu 32: Ra3     Qc7+    [  8-]
refu 33: Ra2     Qc7+    [  8-]
refu 34: Ra1     Qc7+    [  8-]
refu 35: Qe8     Qc7+    [  8-]
refu 36: Qf8     Qc7+    [  8-]
refu 37: Qc8     Qc7+    [  8-]
refu 38: Qb8     Qc7+    [  8-]
refu 39: Qa8     Qc7+    [  8-]
refu 40: Qd7     Bd6+    [  8-]
refu 41: Qd6     Bxd6+   [  8-]
refu 42: Qxd5    Qc7+    [  8-]
refu 43: Qc7     Qxc7+   [  8-]
refu 44: Qb6     Qf8+    [  8-]
refu 45: Qa5     Qf8+    [  8-]
refu 46: Qe7     Qxe7+   [  8-]
refu 47: Qxf6    Qc7+    [  8-]
refu 48: Kb5     Qb7+    [  8-]
refu 49: Kc6     Nd4+    [  8-]
refu 50: Kb6     Qc7+    [  8-]
Refu tab:  50 refu,  67 solu
Time (virt) = 912.510 sec (ca. 15.2 min)

 Rb7 Qxb7 Bxg6+ Kxg6  Qg8+  Kxf5 Qg4+  Ke5  Qh5+  Rf5  f4+   Bxf4 Qxe2+ Bxe2 Re4+  dxe4 d4#
								        Be3+ Qxe3#
							     Nxf4 Re4+  dxe4 d4#
						  f5   Qh8+  Qg7  Qxg7#
			    Qg7  Qxg7+ Kxf5 Qg4+  Ke5  Re4+  dxe4 Qxe4#
				       Kh5  Qg4#
					    Qh6#
					    Rh4#
			    Kh5  Qg4#
				 Rh4#
     Bd6+ Kxd6  Qxb7  Bxg6+ Kxg6 Qg8+  Qg7  Qxg7+ Kh5  Qg4#
						       Qh6#
						       Rh4#
						  Kxf5 Qg4#
				       Kh5  Qg4#
					    Rh4#
				       Kxf5 Qg4#
	        exf5  Rxf7+ Kh6  Qh8+  Kg5  Qxf6+ Kh6  Qxg6#
						  Kxh5 Qh4#
						       Rh4#
						       Rh7#
				 Qxf6  Nf4  Bxg6  Ne2  Rh4#
						       Rh7#
						  Ne6  Rh4#
						       Rh7#
						  Nh3  Rh4#
						       Rh7#
						  Nxd3 Rh4#
						       Rh7#
						  Nxg6 Rh4#
						  -*-  Rh7#
				       Rg3  Bxg6  Bb3  Rh4#
						       Rh7#
						  Bc2  Rh4#
						       Rh7#
						  Re3  Rh4#
						       Rh7#
						  Rf3  Rh4#
						       Rh7#
						  Rg1  Rh4#
						       Rh7#
						  Rg2  Rh4#
						       Rh7#
						  Rg5  Qg7#
						       Rh7#
						  Rxd3 Rh4#
						       Rh7#
						  Rxg6 Rh4#
						  -*-  Rh7#
					    Rf8   Kh7  Qh8#
						       Rh8#
						  Kxh5 Qh4#
						       Rh4#
						       Rh8#
						  Re3  Qxg6#
						       Rh8#
						  Rf3  Qxg6#
						       Rh8#
						  Rg5  Qh8#
						       Rh8#
						  Rh3  Qxg6#
						       Rh8#
						  Rxd3 Qxg6#
						       Rh8#
						  -*-  Rh8#
				       Kxh5 Qh4#
					    Rh4#
					    Rh7#
				       -*-  Qxg6#
	        Rxf5  Rxf7+ Kh6  Qh8+  Kg5  Rg4#
	        gxf5  Rxf7+ Kh6  Qg8   Kxh5 Rh7#
				       Nf4  Rh7#
				       Rg3  Rh7#
				       -*-  Qg6#
					    Rh7#
				 Qh8+  Kg5  Rg7#
				 Qxf6+ Kxh5 Rh4#
					    Rh7#
	        gxh5  Rxf7+ Kg6  Qxf6#
	        Qc7+  Rxc7#
	        Qd7+  Rxd7#
	        Qe7+  Rxe7#
	        Qg7   Rxg7#
	        -*-   Rxf7#
     exf5 Rxf7+ Kh6   Qh8+  Kg5  Qxf6+ Kh6  Qxg6#
				       Kxh5 Qh4#
					    Rh4#
					    Rh7#
     Bc7  Qxc7  Bxa4  Qxf7+ Kh8  Qf8#
				 Qg7#
				 Qh7#
	        Kh8   Qxf7  Bxa4 Qf8#
				 Qg7#
				 Qh7#
			    -*-  Qe8#
				 Qf8#
				 Qg7#
				 Qh7#
				 Ra8#
				 Rb8#
		      Ra8+  Kh7  Qxf7#
			    Qe8  Qg7#
				 Qh7#
				 Rxe8#
			    Qf8+ Rxf8#
			    Qg8  Qg7#
				 Qh7#
		      Rb8+  Kh7  Qxf7#
			    Qe8  Qg7#
				 Rxe8#
			    Qf8+ Rxf8#
			    Qg8  Qg7#
	        Qd7   Qxd7+ Kg8  Qc8#
				 Qd8#
				 Qe8#
				 Qg7#
				 Ra8#
				 Rb8#
			    Kh8  Qc8#
				 Qd8#
				 Qe8#
				 Qg7#
				 Qh7#
				 Ra8#
				 Rb8#
	        Qe7+  Qxe7+ Kg8  Qd8#
				 Qe8#
				 Qg7#
				 Ra8#
				 Rb8#
			    Kh8  Qd8#
				 Qe8#
				 Qf8#
				 Qg7#
				 Qh7#
				 Ra8#
				 Rb8#
	        Qxc7+ Rxc7+ =*=  Ra8#
	        Rxf5  Qxf7+ Kh6  Qxg6#
			    Kh8  Qe8#
				 Qf8#
				 Qg7#
				 Qh7#
				 Ra8#
				 Rb8#
	        exf5  Qxf7+ Kh6  Qxg6#
			    Kh8  Qe8#
				 Qf8#
				 Qg7#
				 Qh7#
				 Ra8#
				 Rb8#
	        gxf5  Qxf7+ Kh6  Qg6#
			    Kh8  Qe8#
				 Qf8#
				 Qg7#
				 Qh7#
				 Ra8#
				 Rb8#
	        Qg7   Qxg7#
	        -*-   Qxf7+ Kh8  Qe8#
				 Qf8#
				 Qg7#
				 Qh7#
				 Ra8#
				 Rb8#
     Qc7+ Qxc7+ Bxc7  Rxc7+ =*=  Ra8#
	        Kg8   Qc8#
		      Qd8#
		      Qg7#
		      Ra8#
		      Rb8#
	        Kh8   Qc8#
		      Qd8#
		      Qg7#
		      Qh7#
		      Ra8#
		      Rb8#
	  Rxc7+ Bxc7  Qd7+  =*=  Qg7#
		      Qe7+  =*=  Qg7#
		      Qxc7+ =*=  Qg7#
				 Ra8#
     Rxf5 Rxf7+ Kh6   Qh8+  Kg5  Rg4#
     gxf5 Rxf7+ Kh6   Qh8+  Kg5  Rg7#
		      Qxf6+ Kxh5 Rh4#
				 Rh7#
     gxh5 Rxf7+ Kg6   Qxf6#
     Qd7  Rxd7#
     Qe7+ Rxe7#
     Qg7  Rxg7#
     -*-  Rxf7#

end of solution tree
Total Time (virt) = 931.740 sec (ca. 15.5 min)