Solved and swept on 11 Jun 2019. The private key for this 80-bit puzzle was found inside [2^79, 2^80) and the balance was moved out.
A solved puzzle is a benchmark. Running a cracker against it should recover the real private key, which is how you tell genuine code from a toy. Puzzle #80 needs about 2^78 key tests on average.