How far has Collatz conjecture been computationally verified? This page from 2017 by Eric Roosendaal says that the yoyo@home project checked for convergence all numbers up to approx. 266. Is it still a valid record? I am aware of the ongoing BOINC project, but I cannot find how far they are.
The same question from 2014: For how many consecutive numbers Collatz conjecture was checked?
 A: Since nobody provided an answer to my question, I will answer myself.

*

*As of August 2019, I am aware of ongoing BOINC project [1].
By personal correspondence with Eric Roosendaal I found that this ongoing BOINC project is meant to disprove the Collatz conjecture by trying to find a counter-example.
The project started off in the middle of nowhere, at $2^{71}$ apparently, without specifying any arguments
why this was chosen or why this would be a sensible point to use.  It looks like they have reached roughly $2^{72.3}$ or so.
No info is given as to whether all numbers up to that limit have indeed be checked.


*As of August 2019, I am also aware of another ongoing project [2] by Eric Roosendaal. All numbers up to $2^{60} \approx 10^{18}$ have been checked for convergence.


*In 2017, the yoyo@home project [3] [4] checked for convergence all numbers up to $10^{20} \approx 2^{66.4}$.


*The paper by Tomás Oliveira e Silva [5] from 2010 claims that the author verified the conjecture up to $2^{62.3} \approx 5.76 \times 10^{18}$. Source: Tomás Oliveira e Silva, "Empirical Verification of the 3x+1 and Related Conjectures." In "The Ultimate Challenge: The 3x+1 Problem," (edited by Jeffrey C. Lagarias), pp. 189-207, American Mathematical Society, 2010.


*The page [6] by Tomás Oliveira e Silva states that, in 2009, they verified the conjecture up to $2^{62.3}$.


*Earlier, in 2008, Tomás Oliveira e Silva [6] tested all numbers below $19\times 2^{58}$.


*Much earlier, in 1992, Leavens and Vermeulen verified the convergence for all numbers below $5.6 \times 10^{13} \approx 2^{45.67}$. Source: Leavens, G. T. and Vermeulen, M. "3x+1 Search Programs." Comput. Math. Appl. 24, 79-99, 1992.


*By the way, the paper [7] from 2019 confirms to me that the largest integer being (consecutively) verified is about $2^{60}$, referring to above sources.

When I put it all together, I get the upper bound $2^{66.4}$.
UPDATE:
From September 2019 to May 2020, my project [8] managed to verify the Collatz conjecture for all numbers below $2^{68}$. So the current upper bound is $2^{68}$.
UPDATE 2:
On December 10, 2021, my ongoing project managed to verify the convergence of all numbers below $2^{69}$. As of October 19, 2022, the current bound is $645 × 2^{60}$ (≈ $2^{69.33}$).
