Create runtime_files directory for some benchmarks
[nofib.git] / spectral / mate / runtime_files / holzhausen.soln
1
2 File: holzhausen.prob
3  - - - - R - - K
4  - - - - - - - b
5  - b - - N - q -
6  - - - - - - - -
7  - - - - - - P -
8  - r - - - - p -
9  - - p - - - - k
10  - - - - - - - -
11
12 White to move and mate in 4
13
14 1. B/QN6-QB7,
15         if R/K1-KB1; 2. B/QB7-K5,
16                 if N/K3-KN2; 3. B/K5xN/KN7++
17                 if R/KB1-KB3; 3. B/K5xR/KB6, N/K3-KN2; 4. B/KB6xN/KN7++
18         if R/K1-K2; 2. B/QB7-K5,
19                 if R/K2-KN2; 3. B/K5-KB6, ...; 4. B/KB6xR/KN7++
20                 if N/K3-KN2; 3. R/QN3-QN8, R/K2-K1; 4. R/QN8xR/K8++
21         if R/K1-KN1; 2. B/QB7-K5,
22                 if R/KN1-KN2; 3. B/K5-KB6, ...; 4. B/KB6xR/KN7++
23                 if N/K3-KN2; 3. B/K5-QR1, ...; 4. B/QR1xN/KN7++
24         if R/K1-QN1; 2. B/QB7-KB4,
25                 if R/QN1-KB1; 3. B/KB4-K5,
26                         if N/K3-KN2; 4. B/K5xN/KN7++
27                         if R/KB1-KB3; 4. Q/KN6-KN8++
28                 if R/QN1-QN4; 3. B/KB4-K5,
29                         if N/K3-KN2; 4. B/K5xN/KN7++
30                         if R/QN4xB/K4; 4. Q/KN6-KN8++
31                 if N/K3-Q1; 3. B/KB4xR/QN8,
32                         if N/Q1-QN2; 4. B/QN8-K5++
33                         if others; 4. Q/KN6-KN8++
34                 if N/K3-QB4; 3. B/KB4xR/QN8,
35                         if N/QB4-QR5, -QR3, xR/QN6, -QN2; 4. B/QN8-K5++
36                         if others; 4. Q/KN6-KN8++
37                 if N/K3-KN2; 3. B/KB4xR/QN8, ...; 4. Q/KN6-KN8++
38                 if R/QN1-KN1; 3. B/KR7xR/KN8,
39                         if N/K3xB/KB5, -KN2; 4. Q/KN6-KR7++
40                         if others; 4. B/KB4-K5++
41                 if R/QN1-QN2; 3. Q/KN6-KN8++
42                 if N/K3xB/KB5; 3. R/QN3xR/QN8++
43                 if N/K3-QB2, -Q5, -KB1, -KN4; 3. B/KB4-K5++
44                 if others; 3. B/KB4-K5, N/K3-KN2; 4. B/K5xN/KN7++
45         if N/K3xB/QB2; 2. R/QN3-QN8,
46                 if R/K1xR/QN1; 3. B/KR7-KN8,
47                         if R/QN1xB/KN1; 4. Q/KN6-KR6++
48                         if others; 4. Q/KN6-KR7++
49                 if N/QB2-K3; 3. R/QN8xR/K8, N/K3-KB1; 4. R/K8xN/KB8++
50                 if R/K1-KB1; 3. R/QN8xR/KB8++
51                 if R/K1-KN1; 3. R/QN8xR/KN8++
52                 if R/K1-Q1; 3. R/QN8xR/Q8, N/QB2-K1; 4. R/Q8xN/K8++
53                 if R/K1-QB1; 3. R/QN8xR/QB8, N/QB2-K1; 4. R/QB8xN/K8++
54                 if others; 3. R/QN8xR/K8++
55         if N/K3-KN2; 2. R/QN3-QN8,
56                 if R/K1xR/QN1; 3. B/QB7xR/QN8, ...; 4. Q/KN6-KN8++
57                 if N/KN2-K3; 3. R/QN8xR/K8, N/K3-KB1; 4. R/K8xN/KB8++
58                 if R/K1-KB1; 3. R/QN8xR/KB8++
59                 if R/K1-KN1; 3. R/QN8xR/KN8++
60                 if R/K1-Q1; 3. R/QN8xR/Q8, N/KN2-K1; 4. R/Q8xN/K8++
61                 if R/K1-QB1; 3. R/QN8xR/QB8, N/KN2-K1; 4. R/QB8xN/K8++
62                 if others; 3. R/QN8xR/K8++
63         if R/K1-QR1, -QB1, -Q1; 2. B/QB7-K5, N/K3-KN2; 3. B/K5xN/KN7++
64         if others; 2. B/QB7-K5, R/K1xB/K4; 3. Q/KN6-KN8++