Re: AmoebeAbleger(): This should never happen!
Posted: Wed Feb 28, 2018 10:32 pm
>> So, it seems that I have a total of 13776 tapes in my collection, of which 12112 are 'solved' by 4.0.1.1, and
>> 12031 by 4.0.1.3; the remainder are not solved. About 1200 of the not-solved levels are in directories with
>> 'emc' in their names. I suspect a large fraction of these might be susceptible to such a fix.
> If 12112 levels are solved by 4.0.1.1, and 12031 levels are solved by 4.0.1.3, this means that 81 levels are
> affected by a change between version 4.0.1.1 and 4.0.1.3, most probably being the long/int bugfix in version 4.0.1.2.
Hmmm, no, I don't remember how I deduced (and am at work away from the data files), but it was my impression
that ~1000 of those files were going to be affected by the amoeba difference.
Also the numbers 12112 & 12031 are slightly suspect in themselves. I had compared the number of 'solved.' and
'NOT SOLVED' outputs in each individual directory, and only two directories differed, by a total of only ?20? or so
entries. Yet when I did `cat */autotest-4.0.1.1.txt | grep -c 'solved\.'`, compared to 4.0.1.3, the total numbers were
off by a larger amount. So I'm sure there was some stupid mix-up on my part. I'll get back to this tonight.
Um. I can simply send you a tarball of *all* the tapes which do not solve on current 4.0.1.3 :)
>> 12031 by 4.0.1.3; the remainder are not solved. About 1200 of the not-solved levels are in directories with
>> 'emc' in their names. I suspect a large fraction of these might be susceptible to such a fix.
> If 12112 levels are solved by 4.0.1.1, and 12031 levels are solved by 4.0.1.3, this means that 81 levels are
> affected by a change between version 4.0.1.1 and 4.0.1.3, most probably being the long/int bugfix in version 4.0.1.2.
Hmmm, no, I don't remember how I deduced (and am at work away from the data files), but it was my impression
that ~1000 of those files were going to be affected by the amoeba difference.
Also the numbers 12112 & 12031 are slightly suspect in themselves. I had compared the number of 'solved.' and
'NOT SOLVED' outputs in each individual directory, and only two directories differed, by a total of only ?20? or so
entries. Yet when I did `cat */autotest-4.0.1.1.txt | grep -c 'solved\.'`, compared to 4.0.1.3, the total numbers were
off by a larger amount. So I'm sure there was some stupid mix-up on my part. I'll get back to this tonight.
Um. I can simply send you a tarball of *all* the tapes which do not solve on current 4.0.1.3 :)