GMP used during 3 and a half years to solve MIT's LCS35

[Bernard Fabrot]

And I take it the speedup also comes, in addition from the :

64 bit : wow the speedup!
clock speed
better GMP algos

from the fact that some instructions are using less cycles than they used
to. I mean: even after the jump from 32 bit to 64 bit: then some 64 bit
instructions used less cycles with new CPU generations?

TYVM for that testing: it's already very interesting data!