"lowest_bucket" should have been set to its true value when inserting the first
entry, but was not because this code was not called when the bucket vector was
resized at the same time. -> changed

("lowest_bucket" is always below the size of the bucket vector when the open
list is not empty)

Hmmm, if I check various recent version, it looks like the crash first occurs in
revision r3821:

------------------------------------------------------------------------
r3821 | Gabi Roeger | 2010-01-07 12:33:45 +0100 (Do, 07 Jan 2010) | 2 lines

added clear method to open lists (used in EHC search)
------------------------------------------------------------------------

Gabi, do you have an idea what's going wrong there? Looking at the diff, the
things related to initializing lowest_bucket to 9999999 look most critical.
Shouldn't "lowest_bucket" always be below the size of the bucket vector?

With current trunk, both with the old version of the translator and today's
update, I get crashed on the first and third problem instance of the Grid
domain, no matter which planner configuration I use.

Can anyone reproduce this? Any idea what is going on there? (I think it must
have been one of the more recent changes to the search component.)