Hi Christian, Thanks for your reply!
The documentation for both 3.7.0 and 3.5.0 say that the single value count constraint achieves domain consistency. I thought you can't really do better (more pruning) than domain consistency for single constraints, or am I mistaken?
Cheers, Kish On 14/09/2011 09:35, Christian Schulte wrote:
This is most likely due to the count constraint. In Gecode 3.7.0 it tries to do more pruning and that might cause the slow down (and your examples might not necessarily profit from the additional pruning). Cheers Christian -- Christian Schulte, KTH, web.it.kth.se/~cschulte/ -----Original Message----- From: [email protected] [mailto:[email protected]] On Behalf Of Kish Shen Sent: Tuesday, September 13, 2011 6:41 PM To: [email protected] Subject: [gecode-users] Gecode 3.5.0 faster than Gecode 3.7.0? Hi, I have just upgrade the ECLiPSe interface to Gecode from Gecode 3.5.0 to 3.7.0. As I am currently doing some work on improving the performance of the interface, I have been doing some timings with example programs, and to my surprise, one of the example is running consistently faster with 3.5.0. The run-times are: 3.5.0: 16.34s 3.7.0: 19.99s The only change between these two is the version of Gecode used (plus the changes in the C++ code needed for the upgrade, i.e. the #include for the graph and scheduling modules). As the program is written in ECLiPSe, there is no direct record of the actual Gecode API calls made. The problem is the "roster" example from the ECLiPSe website, modified for use with the Gecode interface. This example is solving a simple rostering problem, and there are a lot of relational constraints posted, plus some boolean expressions, all posted via the MiniModel, and there are also some count contraints (occurrences of one value variant). The search is done in ECLiPSe, i.e. not using the search-engines of Gecode. Is the above information sufficient for even guessing what the slow down might be due to? If not, what additional information might be needed? Cheers, Kish -- This e-mail may contain confidential and privileged material for the sole use of the intended recipient. Any review, use, distribution or disclosure by others is strictly prohibited. If you are not the intended recipient (or authorized to receive for the recipient), please contact the sender by reply e-mail and delete all copies of this message. Cisco Systems Limited (Company Number: 02558939), is registered in England and Wales with its registered office at 1 Callaghan Square, Cardiff, South Glamorgan CF10 5BT. _______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
-- This e-mail may contain confidential and privileged material for the sole use of the intended recipient. Any review, use, distribution or disclosure by others is strictly prohibited. If you are not the intended recipient (or authorized to receive for the recipient), please contact the sender by reply e-mail and delete all copies of this message. Cisco Systems Limited (Company Number: 02558939), is registered in England and Wales with its registered office at 1 Callaghan Square, Cardiff, South Glamorgan CF10 5BT. _______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
