Und ich lege noch einen nach:
Nicht nur die Lösungszeiten und die Suchtiefen unterscheiden sich, auch die angezeigten Varianten sind trotz identischer Engine nicht identisch (hier beschränke ich mich auf 3 Durchläufe ...)
Erster Durchlauf:
47/58 04:36 3.775.314k 13.661k +0,02
h4xg5 Sf4-g6 Dg4-h3 Dd4xg7 Dh3-g3 Dg7-e5 Kg1-g2 c6-c5 Lf5xg6 De5xg3+ Kg2xg3 f7xg6 f2-f4 Td6-d4 e4-e5 c5-c4 Kg3-g4 Td8-c8 e5-e6 c4-c3 e6-e7 Tc8-e8 Tf1-c1 Td4-c4 Tc1xc3 Tc4xc3 Te3xc3 Te8xe7 Tc3-c6 Kg8-g7 Tc6-d6 Te7-c7 Kg4-f3 Tc7-e7 a4-a5 b6xa5 Td6-a6 Kg7-f7 Ta6xa5 Te7-c7 Kf3-e4 Tc7-e7+ Ke4-d5 Kf7-g7 Ta5-a4 Te7-d7+ Kd5-e4 Td7-e7+ Ke4-f3 Kg7-f7 Kf3-g3 Te7-c7 Kg3-g4 Tc7-e7 Kg4-f3 Te7-b7 Ta4-a6 Tb7-c7
48/53 04:55 4.036.215k 13.655k +0,02
h4xg5 Sf4-g6 Dg4-h3 Dd4xg7 Dh3-g3 Dg7-e5 Kg1-g2 c6-c5 Lf5xg6 De5xg3+ Kg2xg3 f7xg6 f2-f4 Td6-d4 e4-e5 c5-c4 Kg3-g4 Td8-c8 e5-e6 c4-c3 e6-e7 Tc8-e8 Tf1-c1 Td4-c4 Tc1xc3 Tc4xc3 Te3xc3 Te8xe7 Tc3-c6 Kg8-g7 Tc6-d6 Te7-c7 Kg4-f3 Tc7-e7 a4-a5 b6xa5 Td6-a6 Kg7-f7 Ta6xa5 Te7-c7 Kf3-e4 Tc7-e7+ Ke4-d5 Kf7-g7 Ta5-a4 Te7-d7+ Kd5-e4 Td7-e7+ Ke4-f3 Kg7-f7 Kf3-f2 Te7-b7 Kf2-e3
49/61+ 05:56 4.871.204k 13.662k +0,11 e4-e5 49/61+ 05:58 4.895.034k 13.662k +0,19 e4-e5
49/71+ 07:10 5.892.806k 13.675k +2,78 e4-e5
49/74 08:19 6.898.988k 13.824k +2,93
e4-e5 Td6-h6 Dg4xg5 Th6xh4 Tf1-e1 Td8-e8 Dg5xh4 Sf4-e2+ Te1xe2 Dd4xh4 Te3-g3
Dh4-h5 Lf5-g4 Dh5-h6 Lg4-d7 Te8-e7 Ld7-f5 Dh6-h5 Lf5-c2 Te7-e6 Te2-d2 Te6-e8 Td2-d6 Dh5xe5 Td6-h6 De5xg3+ f2xg3 Te8-e6 Th6-h8+ Kg8xg7 Th8-c8 Te6-d6 Tc8-c7 b6-b5 a4-a5 a7-a6 Kg1-f1 b5-b4 Tc7-b7 Td6-d5 Tb7xb4 Td5xa5 Tb4-g4+ Kg7-f8 Tg4-c4 Ta5-a3 Kf1-g2 a6-a5 Lc2-e4 Ta3-a2+ Kg2-h3 a5-a4 Le4xc6 a4-a3 Tc4-a4 Ta2-d2 Ta4xa3
50/73- 08:20 6.917.678k 13.827k +2,85 e4-e5 Td6-h6
Zweiter Durchlauf:
41/57 02:02 1.695.859k 13.899k +0,09
h4xg5 Dd4-e5 Te3-f3 Sf4-g6 Kg1-g2 Kg8xg7 Lf5xg6 Td6xg6 Tf3-f5 De5-e7 Kg2-g3 De7-d6+ Dg4-f4 Dd6xf4+ Kg3xf4 Tg6-d6 Tf5-e5 c6-c5 Tf1-c1 Td6-d2 f2-f3 Td8-d3 Tc1-g1 c5-c4 g5-g6 Td2-d1 Tg1xd1 Td3xd1 Te5-e7 Kg7xg6 Te7xa7 Td1-a1 Ta7-b7 Ta1xa4 Tb7xb6+ f7-f6 Kf4-g4 Kg6-f7 Tb6-c6 Ta4-b4 f3-f4 c4-c3 Tc6xc3 Tb4xe4 Kg4-f5 Te4-e7 Tc3-c8 Kf7-g7
42/65+ 02:06 1.759.096k 13.876k +0,17 h4xg5
42/65 02:07 1.772.618k 13.871k +0,10
h4xg5 Dd4-e5 Te3-f3 Sf4-g6 Kg1-g2 Kg8xg7 Lf5xg6 Td6xg6 Tf3-f5 De5-e7 Kg2-g3 c6-c5 Tf1-h1 Td8-h8 Th1-c1 Tg6-e6 f2-f3 Te6-g6 Dg4-f4 f7-f6 Tf5xf6 De7xf6 Df4xf6+ Tg6xf6 g5xf6+ Kg7xf6 f3-f4 Kf6-e7 e4-e5 Th8-c8 Kg3-f3 c5-c4 Kf3-e3 c4-c3 Ke3-d3 Tc8-f8 Tc1-f1 Tf8-c8 Tf1-f2 a7-a6 Tf2-c2 Tc8-f8 Kd3-e3 Tf8-c8 Ke3-d4 Tc8-f8 Tc2xc3 Tf8xf4+ Kd4-d5 Tf4xa4 Tc3-c7+ Ke7-f8 Tc7-c6 Kf8-e7
43/57+ 02:09 1.798.040k 13.859k +0,18 h4xg5
43/58+ 02:38 2.174.244k 13.738k +0,26 e4-e5 43/58+ 02:48 2.303.783k 13.683k +2,13 e4-e5
43/59 03:01 2.478.188k 13.637k +2,45 e4-e5 Td6-h6 Dg4xg5 Th6xh4 Tf1-e1 Td8-e8 Dg5xh4 Sf4-e2+ Te1xe2 Dd4xh4 Te3-g3
Dh4-f4 Lf5-c2 b6-b5 e5-e6 Df4xg3+ f2xg3 Te8xe6 Te2xe6 f7xe6 a4-a5 c6-c5 Kg1-f2 Kg8xg7 Kf2-e3 Kg7-f6 Ke3-e4 Kf6-g5 Lc2-d1 c5-c4 Ld1-e2 Kg5-f6 Le2-f3 Kf6-g5 Ke4-e5 b5-b4 Ke5-d4 b4-b3 Kd4-c3 e6-e5 Kc3-b2 e5-e4 Lf3xe4 Kg5-g4 Le4-d5 Kg4xg3 Ld5xc4 Kg3-f4 Kb2xb3 Kf4-e5 Lc4-e2
Dritter Durchlauf:
50/67 03:00 2.478.070k 13.716k +0,25
h4xg5 Sf4-g6 Dg4-g3 Dd4-e5 Dg3xe5 Sg6xe5 f2-f4 Se5-c4 Te3-h3 Td6-d3 Th3xd3 Td8xd3 e4-e5 Td3-d4 e5-e6 f7xe6 Lf5xe6+ Kg8xg7 Tf1-f2 b6-b5 f4-f5 Td4-g4+ Kg1-f1 Tg4-e4 a4xb5 c6xb5 Tf2-a2 Sc4-e3+ Kf1-g1 Te4-g4+ Kg1-f2 Se3xf5 Kf2-f3 Tg4xg5 Kf3-f4 Sf5-d4 Kf4xg5 Sd4xe6+ Kg5-f5 Se6-d4+ Kf5-e4 Sd4-c6 Ta2-a6 Sc6-e7 Ta6xa7 Kg7-f6 Ta7-a6+ Kf6-g5 Ta6-b6 b5-b4 Tb6xb4 Se7-g6 Tb4-b1 Kg5-f6 Tb1-b5 Sg6-e7 Tb5-b6+ Kf6-g5 Tb6-a6 Se7-g6 Ta6-e6 Sg6-h4 Te6-c6 Sh4-g6 Tc6-c5+ Kg5-f6 Tc5-a5
51/66 03:43 3.066.877k 13.714k +0,25
h4xg5 Sf4-g6 Dg4-g3 Dd4-e5 Dg3xe5 Sg6xe5 f2-f4 Se5-c4 Te3-h3 Td6-d3 Th3xd3 Td8xd3 e4-e5 Td3-d4 e5-e6 f7xe6 Lf5xe6+ Kg8xg7 Tf1-f2 b6-b5 f4-f5 Td4-g4+ Kg1-f1 Tg4-e4 a4xb5 c6xb5 Tf2-a2 Sc4-e3+ Kf1-g1 Te4-g4+ Kg1-f2 Se3xf5 Kf2-f3 Tg4xg5 Kf3-f4 Sf5-d4 Kf4xg5 Sd4xe6+ Kg5-f5 Se6-d4+ Kf5-e4 Sd4-c6 Ta2-a6 Sc6-e7 Ta6xa7 Kg7-f6 Ta7-a6+ Kf6-g5 Ta6-b6 b5-b4 Tb6xb4 Se7-g6 Tb4-b1 Kg5-f6 Tb1-b5 Sg6-e7 Tb5-b6+ Kf6-g5 Tb6-a6 Kg5-g4 Ke4-e5 Kg4-g5 Ke5-e6 Se7-f5 Ta6-b6
52/54- 06:33 5.373.074k 13.646k +0,16 h4xg5 Sf4-g6
52/70- 11:15 9.207.183k 13.631k +0,08 h4xg5 Sf4-g6
52/70+ 19:19 15.789.929k 13.624k +0,16 h4xg5
52/75+ 20:07 16.505.846k 13.667k +0,34 e4-e5 52/75+ 20:08 16.516.545k 13.668k +2,63 e4-e5
52/75 20:13 16.593.153k 13.673k +2,90
e4-e5 Td6-h6 Dg4xg5 Th6xh4 Tf1-e1 Sf4-e6 Dg5-f6 Td8-e8 Te3-f3 Se6-f4 Df6xh4 Sf4-e2+ Te1xe2 Dd4xh4 Tf3-g3 Dh4xa4 Kg1-g2 Da4-f4 Lf5-b1 b6-b5 Te2-e1 Df4-h4 Te1-h1 Dh4xg3+ Kg2xg3 Te8xe5 Kg3-f4 f7-f6 Lb1-e4 Kg8xg7 Th1-h7+ Kg7-f8 Th7xa7 c6-c5 Ta7-c7 c5-c4 Le4-g6 Te5-e2 f2-f3 Te2-e7 Tc7-c5 Te7-b7 Kf4-e3 b5-b4 Tc5xc4 f6-f5 Lg6xf5 b4-b3 Lf5-b1 Tb7-e7+ Ke3-d4 b3-b2 Tc4-b4 Te7-e1 Tb4-b8+ Te1-e8
53/68- 20:27 16.790.858k 13.684k +2,82 e4-e5 Td6-h6
Das ist natürlich alles hinlänglich bekannt. Anhand unterschiedlicher Suchtiefen, Lösungszeiten und Variantenoutput lässt sich nicht beweisen, dass zwei Engines nicht identisch sind. Ich habe es dennoch mit Beispielen unterfüttert, damit sich das alle Interessierten noch mal in aller Ruhe vor Augen führen können. Abschließend: Wäre eine solche Beweisführung doch möglich, dann hätte ich bewiesen, das es sich bei Stockfish 110121v gemäß dem Analyseoutput um (aktuell) 10 verschiedene Engines handelt. Gut, wa! #popcornfüralle