Re: [eclipse-clp-users] Execution time

From: Claudio Cesar de Sá <claudio_at_colmeia.udesc.br>
Date: Tue, 21 Sep 2010 13:32:07 +0200
JACKY


Your question is a "kernel question" of the CP field. Why some programs run
faster than others?
Many suppostions ... giving a glimpse look in your code, an idea on the
problem
is on:

r30_4.ecl :
 bb_min((
        search([R], 0, smallest, indomain, complete, []),
        search(Starts, 0, smallest, indomain, complete, [])),
        Cost, bb_options{strategy: restart, delta: 0.0001}),

r30_9.ecl :
 bb_min((
        search([R], 0, smallest, indomain, complete, []),
        search(Starts, 0, smallest, indomain, complete, [])),
        Cost, bb_options{strategy: restart, delta: 0.0001, timeout: 300,
report_failure: Cost}),

but I changed in your code this part ... and really, the problem mentioned
appeared again.

One suggestion, try a single search.  Divide in many parts your search.

I hope to help you


claudio



2010/9/21 Jacky <popwall724_at_gmail.com>

> Hi all,
>
>        I am running my experiments in CLP, and notice that the execution
> times
> of some experiments were very long (> 15 hours, and still waiting) no
> matter what selection method I used. These experiments seem to be in the
> same complexity level as those which can be finished within several
> seconds if the right selection method was chosen.
>
>        So I wonder how to deal with these experiments, and why CLP behaves
> like this. I've attached two experiments. r30_4.ecl have not finished
> execution yet, while r30_9.ecl gave me the optimal within 1 second.
>
>        Any ideas? Thanks.
>
> Regards,
> Jacky
>
>
> ------------------------------------------------------------------------------
> Start uncovering the many advantages of virtual appliances
> and start using them to simplify application deployment and
> accelerate your shift to cloud computing.
> http://p.sf.net/sfu/novell-sfdev2dev
> _______________________________________________
> ECLiPSe-CLP-Users mailing list
> ECLiPSe-CLP-Users_at_lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users
>
>


-- 
claudio



    (
    ))
   |""|-.
   |__|-'


**********************************************************************
Skype: claudio_cesar_sa
http://claudiocesar.wordpress.com/about/
***********************************************************************
Received on Tue Sep 21 2010 - 11:56:59 CEST

This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET