|Re: [p2-dev] Very long planning times|
The actual decision whether or not a solution exist *is* time bounded (believe it is something like one minute). I have never seen the solver time out on problems generated by p2.
The explanation time is not time bounded and this is where you are experiencing delay. However looking at the stack dumps attached to bug https://bugs.eclipse.org/bugs/show_bug.cgi?id=274907 it seems like if there is something else going on (for example on the second dump sat4j is not executing...).
It is also important to note that in a UI scenario the computation can be cancelled and it is also possible to turn off the computation of explanation on a profile change request basis.
Thomas Hallgren ---05/04/2009 06:07:20 PM---We're currently seeing very long execution times (> 2 hours) when
Thomas Hallgren <thomas@xxxxxxx>
P2 developer discussions <p2-dev@xxxxxxxxxxx>
05/04/2009 06:07 PM
[p2-dev] Very long planning times