Fastest mate ever between top programs ???????

Chess-System-Tal-1.59 -- Koivisto_8.0
? (147) 2023.03.10 1-0 B30
TC=40+0.02
Three pieces sacrificed

1.e4 c5 2.Nf3 Nc6 3.Nc3 e5 4.Bc4 Be7 5.d3 Nf6 6.Ng5 O-O 7.h4 h6 8.Nd5 Nxd5 9.Bxd5 hxg5 10.hxg5 g6 11.Qg4 Kg7 12.Rh7+ Kxh7 13.Qh4+ Kg8 14.Bd2 c4 15.O-O-O c3 16.Rh1 cxd2+ 17.Kd1 Bxg5 18.Qh8# 1-0

Chess-System-Tal-1.59   --   Koivisto_8.0
? (147)  2023.03.10  1-0  B30
TC=40+0.02
Three pieces sacrificed

[pgn]1.e4 c5 2.Nf3 Nc6 3.Nc3 e5 4.Bc4 Be7 5.d3 Nf6 6.Ng5 O-O 7.h4 h6 8.Nd5 Nxd5 9.Bxd5 hxg5 10.hxg5 g6 11.Qg4 Kg7 12.Rh7+ Kxh7 13.Qh4+ Kg8 14.Bd2 c4 15.O-O-O c3 16.Rh1 cxd2+ 17.Kd1 Bxg5 18.Qh8# 1-0[/pgn]

Beauty...

Looks like a game from the early EAGON tournaments when engine were 2000-2400 max, Koivisto is ~3400.

[pgn][Event "?"]
[Site "?"]
[Date "2023.03.10"]
[Round "147"]
[White "Chess-System-Tal-1.59"]
[Black "Koivisto_8.0"]
[Result "1-0"]
[ECO "B30"]
[GameDuration "00:00:11"]
[GameEndTime "2023-03-10T18:49:36.160 W. Europe Standard Time"]
[GameStartTime "2023-03-10T18:49:24.575 W. Europe Standard Time"]
[Opening "Sicilian defense"]
[PlyCount "35"]
[TimeControl "20+0.05"]

1. e4 {book} c5 {book} 2. Nf3 {book} Nc6 {book} 3. Nc3 {book} e5 {book}
4. Bc4 {book} Be7 {book} 5. d3 {book} Nf6 {book} 6. Ng5 {book} O-O {book}
7. h4 {book} h6 {book} 8. Nd5 {book} Nxd5 {book} 9. Bxd5 {-0.43/16 0.52s}
hxg5 {+1.20/21 0.99s} 10. hxg5 {+5.28/19 0.49s} g6 {+0.99/22 0.99s}
11. Qg4 {+6.17/20 0.52s} Kg7 {+2.04/19 0.66s} 12. Rh7+ {+7.02/23 1.2s}
Kxh7 {+2.89/21 0.44s} 13. Qh4+ {+6.87/21 0.49s} Kg8 {+3.35/21 0.49s}
14. Bd2 {+7.14/21 0.52s} c4 {-0.01/18 2.2s} 15. O-O-O {+13.65/18 0.44s}
c3 {-8.44/17 1.3s} 16. Rh1 {+M5/97 0.16s} cxd2+ {-M4/128 0.049s}
17. Kd1 {+M3/116 0.007s} Bxg5 {-M2/128 0.014s}
18. Qh8# {+M1/116 0.007s, White mates} 1-0
[/pgn]

Koivisto computes 21. searches but makes 9…hxg5 ?

weird that koivisto took that long to play Bxg5, it was necessary to defend