Sorry to be so inquisitive, but I'm lost on something else:

Code:

Parsed 401 polynomials, added 327 to priority queue (has 200)
Worst polynomial in queue now has exp_E 56.820000
. . .
Parsed 367 polynomials, added 45 to priority queue (has 200)
Worst polynomial in queue now has exp_E 55.920000
. . .
Parsed 376 polynomials, added 9 to priority queue (has 200)
Worst polynomial in queue now has exp_E 55.320000

To my ignorant eye, there appear to be polynomials being pushed into a full queue, which are pushing out the better ones. Is a lower exp_E better than a higher one?