Here is the proof:

I postulate that the number is correct.

Two suggestions from parallell thread
Two new suggestions have been posted in the Rybka forum, one of which is an alternative to the one suggested by Mark Bennet regarding adjudication.

See "Suggestion thread for TCEC" in the Computer Chess subforum: http://rybkaforum.net/cgi-bin/rybkaforum/topic ...

I have found a solution in 15.5 moves:
1. a4!? c6 2. Ra2 Qb6!? 3. f4 Qxg1 4. e3 Qxh2 5. g3 Qxd2+ 6. Bxd2 a5 7. Rxh7 e5 8.
Bxa5 Rxa5 9. Rxg7 Bb4+ 10. Nc3 b6 11. Rxf7 Kxf7! 12. Qxd7+ Kf6 13. Qxc8 Na6 14.
Qxg8 Rxg8 15. Kf2 Rg5 16. Bc4

I have written a WordPad document which together with a mess of ...

I don't think your alternative solutions are practical for TCEC. It would be a bit half-hearted to force a finish with a different TC or on a different hardware than the ones used for the rest of the game. I think an evaluation based adjudication is good, since it is based on both engines ...

In this thread, which should ideally have been just in the TCEC subforum and not in the season 8 sub-subforum, I invite everyone to share their suggestions for TCEC, for season 8 or for future seasons if impossible to implement mid-season. To post such suggestions in a permanent medium like a forum ...

In this thread, I invite all those who like to share their view in the chat, to express their opinions in a more permanent medium. Feel free to recycle your best arguments from the chat into this thread.

Not long after the first loss on time, I became convinced that the only correct interpretation ...