This adds our most successful generate-and-check configuration, but without preprocessing by Fast Downward.