Convergence verification of the Collatz problem

The convergence of all numbers below 813 × 2⁶⁰ (≈ 2^69.67) has been verified. The work unit is 2⁴⁰ numbers. On modern GPUs, verification of one work unit takes 12 seconds on average. All source codes are available on this GitHub repository.

Progress towards verifying all numbers below 814 × 2⁶⁰

Lowest incomplete: 54.0339 % (work unit 853058875 × 240, all work units below are verified)
Lowest unassigned: 59.0793 % (work unit 853111779 × 240, all work units below are assigned or even verified)