View Single Post
Old 2022-05-06, 23:29   #4
Batalov's Avatar
Mar 2008

2·3·1,657 Posts

Note in their text that they say "This <<...>> probably indicates non-optimal choices of parameters. On the other hand, it leads to very short certificates: We reach a length of only 1645 steps" (!!).

They call it a pre-release. They will likely optimize it even more.

Btw, I had to "massage" their cert a little bit, but then factorDB took it. Took 3 iterations slightly reformatting the file (and to rename it into .out file)
Batalov is offline   Reply With Quote