Huz
Thanks for the info.
Do I understand correctly that these bugs are missing in earlier versions?
Yes, the buggy function was introduced by commit
4368e146a4, dated 2023-02-08.
Цитата:
I would like to ask you, not in relation to the errors found:
1. Is it possible to change the keys -x and -p after recovery the calculation? f.e:
а) before recovery -x21e31, after recovery -x10e31
b) before recovery -x7e31:21e31, after recovery -x7e31:10e31
с) before recovery -p500, after recovery -p200
d) before recovery -p50:200, after recovery -p50:150
Generally, making it more restrictive should be fine, but note that changing the restrictions may change the batches it counts - I recommend checking with "-a" that the number of batches is the same with the old restrictions and the new restrictions. I think that would only happen with changes to "-x", not with changes to "-p", but hopefully it should be easy to check and be sure.
Цитата:
2. What are your current plans for the proof T(6,13)? Maybe as the BOINC project.
They are stalled right now: the intention was first to automate calibration for "-g" (and if possible for "-W") for optimal use, then to add BOINC support. But I got stuck on the first part, and the BOINC expert who had volunteered to help with the second part stopped responding. I expect to get back to both of those at some point, but have no specific timescale in mind.
For the last few days I've been looking at the related sequence
A309981, which seems equally or even more interesting. The bugs I found today were spotted while trying to extend pcoul to support searches related to that sequence.