Why should AnMon under-promote here to a knight? I would consider this a bug; when analysing with Crafty it sees already a mate when promoting to a queen, but not so when under-promoting.
Robert
PS.: In this game Tao then wins on time, because it does not support underpromotion and makes an illegal move; a known problem which the author of Tao apparently does not want to fix.
[Event "AnMon v5.51 gauntlet"]
[Site "DISCO"]
[Date "2004.11.10"]
[Round "15.1"]
[Number "25801"]
[White "Anmon v5.51"]
[Black "Tao v5.6"]
[Result "0-1"]
[TimeControl "300+2"]
1. d4 Nf6 2. c4 e6 3. Nf3 b6 4. a3 Bb7 5. Nc3 d5 6. cxd5 Nxd5 7. Qa4+ Nd7
8. Nxd5 Bxd5 9. Bg5 Be7 10. Bxe7 Qxe7 11. Rc1 c6 12. e3 O-O 13. Be2 e5 14.
O-O exd4 15. Nxd4 Nc5 16. Qc2 a5 17. Bc4 Be4 18. Qe2 Qf6 19. b4 axb4 20.
axb4 Na4 21. f3 Bd5 22. Bxd5 cxd5 23. Qa2 Qe7 24. Qb3 Rfe8 25. Rfe1 Qd7 26.
Ra1 b5 27. Qd3 Rab8 28. Re2 Qd6 29. Rb1 Rec8 30. Rc2 Qd7 31. Rxc8+ Qxc8 32.
Nf5 Qf8 33. g4 Rc8 34. Nd4 h5 35. gxh5 Qe7 36. Kh1 Rc3 37. Qxb5 Qxe3 38.
Qxa4 Qxd4 39. Qe8+ Kh7 40. Qxf7 Qd3 41. Qg6+ Qxg6 42. hxg6+ Kxg6 43. Kg2 d4
44. b5 Rc7 45. Kf2 Kf6 46. Ke2 Ke5 47. b6 Rb7 48. Kd3 Kd5 49. f4 Kc5 50. h4
Kd5 51. h5 Kc5 52. f5 Kd5 53. Rb5+ Kc6 54. Rb4 Kc5 55. Rc4+ Kd6 56. f6 gxf6
57. Rxd4+ Kc5 58. Rc4+ Kd5 59. Rb4 Ke6 60. Rb5 Ke7 61. Ke4 Kd6 62. h6 Kc6
63. Rh5 Re7+ 64. Kf5 Re5+ 65. Kg6 f5 66. b7 Re6+ 67. Kxf5 Re2 68. b8=N+
Rf2+
{Black wins on time} 0-1