Re: speeding up planning with partitions

Hi,

On 1/21/19 4:01 AM, Amit Langote wrote:
> Rebased again due to 8d8dcead1295.
> 

Passes check-world on 8d8dcead1295.

I ran a work load on the series, measuring the time to load the data 
plus the run-time to complete the work load.

           Load    Run
master    3m39s   144s
1778      3m12s    36s
NP [*]    2m20s    11s

[*] Non partitioned case.

Best regards,
  Jesper