Breakthrough Draughts

TAILLE · Post by **TAILLE** » Sun Aug 20, 2017 12:12

BertTuyt wrote:Gerard, as I run the verify in debug mode (and 1 core) speed is limited.
So far the verify did not found a DB consistency error (which does not indicate there is nothing wrong!).

In the meantime another difference has been found, the 3x9 DB.
Your count 654.342.042, my count 654.448.795.

And the 1x11 DB.
Your count 26.601.065 and my 22.286.688

So all (= 3, 9x3, 10x2 and 11x1) member of the 12P DB.
Did you also do a verify for the 12P DBs?

Bert

Hi Bert,

For the time being it doesn't harm because my statistics may be not up to date.

As I said previously after having generated a huge 13p db I found a bug I had to regenerate the db. In the process I change the order of the generations and instead of generating the 12p db and then the 13p and then the 14p I generated all the db with at most 6p in each side and then at most 7p in each side.
As you see the 9x3, 10x2 and 11x1 were not regenerated and the corresponding statistics may be wrong.

I will soon launch a new complete generation in order to test some new optimisations and with new statistics like the number of seconds for each type of positions.

BTW, could you give me your figures for symmetrical positions : 5x5, 6x6 and 7x7 ?

BertTuyt · Post by **BertTuyt** » Sun Aug 20, 2017 12:48

Gerard, I will do.

For now the program is still working on the 4x8 DB.
So I want to continue this process (as stated before in debug mode and 1 core), to get confidence in the verify.

If all calculations are finalized, I will post the whole output, which includes the 1x1 ... 6x6.

The 7x7 I need to think how to deal with it.
My computer here (Switzerland), has a smaller SSD, which has limited capacity.
So I might need to run the 7x7 with a HD, basically no problem, only a little more time consuming.

Bert

BertTuyt · Post by **BertTuyt** » Sun Aug 20, 2017 12:50

Gerard, here the list so far,....

Bert

Code: Select all

1x1 P = 760, Capture = 66
1x1 P = 760, CW NCW CL NCL = 66 388 0 306
0.0 1x1, P = 760, E = 0
1x2 P = 9.936, Capture = 1.600
1x2 P = 9.936, CW NCW CL NCL = 858 2.378 742 5.958
0.0 1x2, P = 9.936, E = 0
1x3 P = 83.304, Capture = 18.690
1x3 P = 83.304, CW NCW CL NCL = 4.700 14.054 13.990 50.560
0.1 1x3, P = 83.304, E = 0
1x4 P = 503.100, Capture = 140.020
1x4 P = 503.100, CW NCW CL NCL = 24.454 68.240 115.566 294.840
0.3 1x4, P = 503.100, E = 0
1x5 P = 2.330.640, Capture = 755.424
1x5 P = 2.330.640, CW NCW CL NCL = 111.420 270.543 644.004 1.304.673
1.6 1x5, P = 2.330.640, E = 0
1x6 P = 8.611.200, Capture = 3.124.246
1x6 P = 8.611.200, CW NCW CL NCL = 422.894 883.318 2.701.352 4.603.636
6.2 1x6, P = 8.611.200, E = 0
1x7 P = 26.048.880, Capture = 10.294.546
1x7 P = 26.048.880, CW NCW CL NCL = 1.326.491 2.407.027 8.968.055 13.347.307
19.0 1x7, P = 26.048.880, E = 0
1x8 P = 65.714.220, Capture = 27.729.674
1x8 P = 65.714.220, CW NCW CL NCL = 3.463.810 5.539.435 24.265.864 32.445.111
48.7 1x8, P = 65.714.220, E = 0
1x9 P = 140.111.400, Capture = 62.164.276
1x9 P = 140.111.400, CW NCW CL NCL = 7.595.751 10.867.307 54.568.525 67.079.817
105.6 1x9, P = 140.111.400, E = 0
1x10 P = 254.963.280, Capture = 117.473.580
1x10 P = 254.963.280, CW NCW CL NCL = 14.098.683 18.303.045 103.374.897 119.186.655
195.4 1x10, P = 254.963.280, E = 0
1x11 P = 398.806.200, Capture = 188.841.950
1x11 P = 398.806.200, CW NCW CL NCL = 22.286.688 26.601.065 166.555.262 183.363.185
309.8 1x11, P = 398.806.200, E = 0
2x1 P = 9.936, Capture = 1.593
2x1 P = 9.936, CW NCW CL NCL = 1.593 7.155 0 1.188
0.0 2x1, P = 9.936, E = 0
2x2 P = 125.664, Capture = 35.985
2x2 P = 125.664, CW NCW CL NCL = 27.881 56.410 8.104 33.269
0.1 2x2, P = 125.664, E = 0
2x3 P = 1.018.056, Capture = 392.818
2x3 P = 1.018.056, CW NCW CL NCL = 195.609 269.004 197.209 356.234
0.9 2x3, P = 1.018.056, E = 0
2x4 P = 5.933.850, Capture = 2.757.200
2x4 P = 5.933.850, CW NCW CL NCL = 860.766 1.147.410 1.896.434 2.029.240
5.3 2x4, P = 5.933.850, E = 0
2x5 P = 26.495.040, Capture = 13.968.222
2x5 P = 26.495.040, CW NCW CL NCL = 3.319.810 4.120.949 10.648.412 8.405.869
24.4 2x5, P = 26.495.040, E = 0
2x6 P = 94.220.880, Capture = 54.350.393
2x6 P = 94.220.880, CW NCW CL NCL = 11.139.424 12.320.688 43.210.969 27.549.799
89.0 2x6, P = 94.220.880, E = 0
2x7 P = 273.907.920, Capture = 168.758.584
2x7 P = 273.907.920, CW NCW CL NCL = 31.850.531 30.915.940 136.908.053 74.233.396
264.6 2x7, P = 273.907.920, E = 0
2x8 P = 662.963.730, Capture = 428.902.842
2x8 P = 662.963.730, CW NCW CL NCL = 76.950.260 65.806.337 351.952.582 168.254.551
650.1 2x8, P = 662.963.730, E = 0
2x9 P = 1.353.752.400, Capture = 908.084.061
2x9 P = 1.353.752.400, CW NCW CL NCL = 157.265.686 119.881.601 750.818.375 325.786.738
1349.0 2x9, P = 1.353.752.400, E = 0
2x10 P = 2.354.660.880, Capture = 1.621.710.912
2x10 P = 2.354.660.880, CW NCW CL NCL = 272.859.614 188.219.310 1.348.851.298 544.730.658
2406.5 2x10, P = 2.354.660.880, E = 0
3x1 P = 83.304, Capture = 18.495
3x1 P = 83.304, CW NCW CL NCL = 18.495 59.902 0 4.907
0.1 3x1, P = 83.304, E = 0
3x2 P = 1.018.056, Capture = 390.894
3x2 P = 1.018.056, CW NCW CL NCL = 332.094 523.486 58.800 103.676
0.8 3x2, P = 1.018.056, E = 0
3x3 P = 7.959.904, Capture = 4.004.729
3x3 P = 7.959.904, CW NCW CL NCL = 2.772.633 2.699.916 1.232.096 1.255.259
7.2 3x3, P = 7.959.904, E = 0
3x4 P = 44.717.500, Capture = 26.450.365
3x4 P = 44.717.500, CW NCW CL NCL = 13.265.287 9.722.656 13.185.078 8.544.479
45.4 3x4, P = 44.717.500, E = 0
3x5 P = 192.174.480, Capture = 126.360.053
3x5 P = 192.174.480, CW NCW CL NCL = 46.048.738 31.054.854 80.311.315 34.759.573
206.5 3x5, P = 192.174.480, E = 0
3x6 P = 656.756.720, Capture = 464.395.317
3x6 P = 656.756.720, CW NCW CL NCL = 138.307.004 84.714.542 326.088.313 107.646.861
719.3 3x6, P = 656.756.720, E = 0
3x7 P = 1.831.760.480, Capture = 1.363.553.412
3x7 P = 1.831.760.480, CW NCW CL NCL = 359.637.086 195.754.225 1.003.916.326 272.452.843
2056.2 3x7, P = 1.831.760.480, E = 0
3x8 P = 4.245.982.620, Capture = 3.279.386.252
3x8 P = 4.245.982.620, CW NCW CL NCL = 799.987.825 385.924.492 2.479.398.427 580.671.876
4852.4 3x8, P = 4.245.982.620, E = 0
3x9 P = 8.287.015.000, Capture = 6.572.085.502
3x9 P = 8.287.015.000, CW NCW CL NCL = 1.515.024.902 654.448.795 5.057.060.600 1.060.480.703
9682.0 3x9, P = 8.287.015.000, E = 0
4x1 P = 503.100, Capture = 137.520
4x1 P = 503.100, CW NCW CL NCL = 137.520 348.776 0 16.804
0.4 4x1, P = 503.100, E = 0
4x2 P = 5.933.850, Capture = 2.729.211
4x2 P = 5.933.850, CW NCW CL NCL = 2.412.383 2.915.566 316.828 289.073
4.7 4x2, P = 5.933.850, E = 0
4x3 P = 44.717.500, Capture = 26.334.152
4x3 P = 44.717.500, CW NCW CL NCL = 20.669.129 15.601.037 5.665.023 2.782.311
39.9 4x3, P = 44.717.500, E = 0
4x4 P = 241.788.751, Capture = 164.208.561
4x4 P = 241.788.751, CW NCW CL NCL = 109.903.327 56.865.877 54.305.234 20.714.313
245.8 4x4, P = 241.788.751, E = 0
4x5 P = 998.568.024, Capture = 741.957.856
4x5 P = 998.568.024, CW NCW CL NCL = 388.340.372 157.126.750 353.617.484 99.483.418
1107.1 4x5, P = 998.568.024, E = 0
4x6 P = 3.274.073.276, Capture = 2.582.206.589
4x6 P = 3.274.073.276, CW NCW CL NCL = 1.060.594.093 386.438.195 1.521.612.496 305.428.492
3853.2 4x6, P = 3.274.073.276, E = 0
4x7 P = 8.745.200.024, Capture = 7.184.391.967
4x7 P = 8.745.200.024, CW NCW CL NCL = 2.492.000.951 822.036.259 4.692.391.016 738.771.798
10658.0 4x7, P = 8.745.200.024, E = 0

BertTuyt · Post by **BertTuyt** » Sun Aug 20, 2017 17:16

Also differences for the 4x8 DB.
Your count 1,504,297,574.

Verify output:

4x8 P = 19.374.908.751, Capture = 16.374.706.073
4x8 P = 19.374.908.751, CW NCW CL NCL = 5.069.693.247 1.504.851.774 11.305.012.826 1.495.350.904
24580.9 4x8, P = 19.374.908.751, E = 0

I expect to see the same with the other 12P DBs.
Need to run the complete verify, but not impossible that all our results up to 11P DB are the same, and all 12P DB results different.

Bert

TAILLE · Post by **TAILLE** » Sun Aug 20, 2017 18:29

BertTuyt wrote:Also differences for the 4x8 DB.
Your count 1,504,297,574.

Verify output:

4x8 P = 19.374.908.751, Capture = 16.374.706.073
4x8 P = 19.374.908.751, CW NCW CL NCL = 5.069.693.247 1.504.851.774 11.305.012.826 1.495.350.904
24580.9 4x8, P = 19.374.908.751, E = 0

I expect to see the same with the other 12P DBs.
Need to run the complete verify, but not impossible that all our results up to 11P DB are the same, and all 12P DB results different.

Bert

I have launched a new complete regeneration of the db with my new generation program (always in mono thread configuration). I do not expect to generate the db without finding bugs because I have made big changes in this new program. My hope is to finalise the debugging activity in one or two days and then I will be able to really rebuild the db.

BertTuyt · Post by **BertTuyt** » Sun Aug 20, 2017 20:19

Gerard, success.

In the meantime I will continue with the verify, and will publish all results.
Now dealing with the 5x6....

Bert

BertTuyt · Post by **BertTuyt** » Sun Aug 20, 2017 23:06

Gerard, the 5x6 is ok (at least we have similar results).

5x6 P = 12.423.500.232, Capture = 10.449.116.149
5x6 P = 12.423.500.232, CW NCW CL NCL = 5.703.313.294 1.331.456.147 4.745.802.855 642.927.936
15391.4 5x6, P = 12.423.500.232, E = 0

Bert

TAILLE · Post by **TAILLE** » Mon Aug 21, 2017 00:44

BertTuyt wrote:Gerard, the 5x6 is ok (at least we have similar results).

5x6 P = 12.423.500.232, Capture = 10.449.116.149
5x6 P = 12.423.500.232, CW NCW CL NCL = 5.703.313.294 1.331.456.147 4.745.802.855 642.927.936
15391.4 5x6, P = 12.423.500.232, E = 0

Bert

All is good for the moment!
I remind you that, for solving the initial position I only use the db corresponding to all positions with a maximum of 7p in each side.
8x4, 9x3, 10x2, 11x1 and also 8x5, 9x4, 10x3, 11x2 and all 14p db except 7x7 are old and wrong db for me.

BertTuyt · Post by **BertTuyt** » Mon Aug 21, 2017 12:00

Gerard, even if you dont use them, I would feel more confident if both counts were the same.
Did you do a verify for your DBs?

Although (so far) I did not find verify error, this is not yet a 100% guarantee that the DBs are correct.
But at least the 11P DB verifiy results (and equal counts) give confidence that our algorithms seem to work.

Is here a reason or explanation that your 12P DB result could be different?

Bert

TAILLE · Post by **TAILLE** » Mon Aug 21, 2017 15:49

BertTuyt wrote:Gerard, even if you dont use them, I would feel more confident if both counts were the same.
Did you do a verify for your DBs?

Although (so far) I did not find verify error, this is not yet a 100% guarantee that the DBs are correct.
But at least the 11P DB verifiy results (and equal counts) give confidence that our algorithms seem to work.

Is here a reason or explanation that your 12P DB result could be different?

Bert

I agree 100% with you. Verification test is essential and it helps a lot in the debug phase.
Beaware of one point: when I generated my first 13p db I verify each generated db and found no error. That was fine but ... I discovered later that my first db (1x1, 2x1, 2x2 etc) have been overwritten by the 13p db. The verification test running on the 13p db was not able to detect the problem because the first db were not used during the verification test of the 13p db.
In my debugging processes I test the last db generated but I also verify that my first db are still correct.

BertTuyt · Post by **BertTuyt** » Mon Aug 21, 2017 19:27

Gerard as expected a difference for 5x7, where you count 2,586,286,661

5x7 P = 31.716.102.264, Capture = 27.572.234.056
5x7 P = 31.716.102.264, CW NCW CL NCL = 12.281.007.488 2.586.459.664 15.291.226.568 1.557.408.544
41334.6 5x7, P = 31.716.102.264, E = 0

But for the 6x5 again similar results.

6x5 P = 12.423.500.232, Capture = 10.423.325.251
6x5 P = 12.423.500.232, CW NCW CL NCL = 7.870.768.849 1.787.497.847 2.552.556.402 212.677.134
14161.0 6x5, P = 12.423.500.232, E = 0

Inline with all previous results which indicate agreement for P2 - P11 DBs, and differences for P12 DBs.

Bert

TAILLE · Post by **TAILLE** » Mon Aug 21, 2017 20:14

Hi Bert,

My new version, in particular the changes for symmetrical positions, seems (?) to work.

For the 5x5 position I found NCW = 613 334 701 NCL = 177 227 198

What are your figures?

BertTuyt · Post by **BertTuyt** » Mon Aug 21, 2017 20:20

Gerard, here my numbers

5x5 P = 3.956.576.472, Capture = 3.166.014.573
5x5 P = 3.956.576.472, CW NCW CL NCL = 2.114.697.522 613.334.701 1.051.317.051 177.227.198
4467.1 5x5, P = 3.956.576.472, E = 0

So exactly the same....

Bert

TAILLE · Post by **TAILLE** » Mon Aug 21, 2017 20:33

BertTuyt wrote:Gerard, here my numbers

5x5 P = 3.956.576.472, Capture = 3.166.014.573
5x5 P = 3.956.576.472, CW NCW CL NCL = 2.114.697.522 613.334.701 1.051.317.051 177.227.198
4467.1 5x5, P = 3.956.576.472, E = 0

So exactly the same....

Bert

Fine! In addition no error detected by my verification test for the 5x5 type of positions. Surely we could be confident with our current generation.

I can now launch a complete regeneration of the db with my new version. I hope to be able to give you tomorow my figures for the 12p db.

BertTuyt · Post by **BertTuyt** » Tue Aug 22, 2017 08:02

Gerard, 7x1, 7x2, 7x3 and 7x4 also ok (so same numbers as you).

Code: Select all

7x1 P = 26.048.880, Capture = 9.829.050
7x1 P = 26.048.880, CW NCW CL NCL = 9.829.050 16.003.384 0 216.446
19.2 7x1, P = 26.048.880, E = 0
7x2 P = 273.907.920, Capture = 164.204.618
7x2 P = 273.907.920, CW NCW CL NCL = 152.059.927 107.341.121 12.144.691 2.362.181
252.2 7x2, P = 273.907.920, E = 0
7x3 P = 1.831.760.480, Capture = 1.342.273.196
7x3 P = 1.831.760.480, CW NCW CL NCL = 1.185.057.389 475.868.606 157.215.807 13.618.678
1857.0 7x3, P = 1.831.760.480, E = 0
7x4 P = 8.745.200.024, Capture = 7.122.538.945
7x4 P = 8.745.200.024, CW NCW CL NCL = 6.026.358.591 1.563.996.834 1.096.180.354 58.664.245
9631.4 7x4, P = 8.745.200.024, E = 0

Bert

World Draughts Forum

Breakthrough Draughts

Re: Breakthrough Draughts

Re: Breakthrough Draughts

Re: Breakthrough Draughts

Re: Breakthrough Draughts

Re: Breakthrough Draughts

Re: Breakthrough Draughts

Re: Breakthrough Draughts

Re: Breakthrough Draughts

Re: Breakthrough Draughts

Re: Breakthrough Draughts

Re: Breakthrough Draughts

Re: Breakthrough Draughts

Re: Breakthrough Draughts

Re: Breakthrough Draughts

Re: Breakthrough Draughts